The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We establish a new Easton theorem for the least supercompact cardinal κ that is consistent with the level by level equivalence between strong compactness and supercompactness. This theorem is true in any model of ZFC containing at least one supercompact cardinal, regardless if level by level equivalence holds. Unlike previous Easton theorems for supercompactness, there are no limits on the Easton...
We construct a model for the level by level equivalence between strong compactness and supercompactness with an arbitrary large cardinal structure in which the least supercompact cardinal κ has its strong compactness indestructible under κ-directed closed forcing. This is in analogy to and generalizes the author’s result in Arch. Math. Logic 46 (2007), but without the restriction that no cardinal...
Starting from a supercompact cardinal κ, we force and construct a model in which κ is both the least strongly compact and least supercompact cardinal and κ exhibits mixed levels of indestructibility. Specifically, κ's strong compactness, but not its supercompactness, is indestructible under any κ-directed closed forcing which also adds a Cohen subset of κ. On the other hand, in this model, κ's supercompactness...
In an attempt to extend the property of being supercompact but not HOD-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not HOD-supercompact holds...
We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is an unbounded set of singular cardinals which witness the only failures of GCH in the universe. In this model, the structure of the class of supercompact cardinals can be arbitrary.
We show that certain relatively consistent structural properties of the class of supercompact cardinals are also relatively consistent with the Wholeness Axioms.
We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
We force and construct a model in which GCH and level by level equivalence between strong compactness and supercompactness hold, along with certain additional "L-like" combinatorial principles. In particular, this model satisfies the following properties: (1) ◊ δ holds for every successor and Mahlo cardinal δ. (2) There is a stationary subset S of the least supercompact cardinal κ 0 such...
We provide upper and lower bounds in consistency strength for the theories "ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω" and "ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals...
If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ+, ∞)-distributive and λ is 2λ supercompact, then by a result of Apter and Hamkins [J. Symbolic Logic 67 (2002)], {δ < κ | δ is δ+ strongly compact yet δ is not δ+ supercompact} must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a...
We show that universal indestructibility for both strong compactness and supercompactness is consistent with the existence of two strongly compact cardinals. This is in contrast to the fact that if κ is supercompact and universal indestructibility for either strong compactness or supercompactness holds, then no cardinal λ > κ is measurable.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.