Learn More
During his Fall 2005 set theory seminar, Woodin asked whether Vsupercompactness implies HOD-supercompactness. We show, as he predicted, that that the answer is no.
The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using(More)