The main result of this paper, built on previous work by the author and T. Wilson, is the proof that the theory “ there is an -complete measure on Θ” is equiconsistent with “ there is a supercompact measure on is regular.” The result and techniques presented here contribute to the general program of descriptive inner model theory and in particular, to the general study of compactness phenomena in the context of .
Notre Dame J. Formal Logic
62(4):
593-618
(November 2021).
DOI: 10.1215/00294527-2021-0031
ACCESS THE FULL ARTICLE
It is not available for individual sale.
This article is only available to subscribers.
It is not available for individual sale.
It is not available for individual sale.