Strong compactness, measurability, and the class of supercompact cardinals
Tom 167 / 2001
Fundamenta Mathematicae 167 (2001), 65-78
MSC: 03E35, 03E55.
DOI: 10.4064/fm167-1-5
Streszczenie
We prove two theorems concerning strong compactness, measurability, and the class of supercompact cardinals. We begin by showing, relative to the appropriate hypotheses, that it is consistent non-trivially for every supercompact cardinal to be the limit of (non-supercompact) strongly compact cardinals. We then show, relative to the existence of a non-trivial (proper or improper) class of supercompact cardinals, that it is possible to have a model with the same class of supercompact cardinals in which every measurable cardinal $\delta $ is $2^\delta $ strongly compact.
