Level by Level Inequivalence , Strong Compactness , and GCH ∗ † Arthur
نویسنده
چکیده
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.
منابع مشابه
Tallness and level by level equivalence and inequivalence
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness ...
متن کاملOn the consistency strength of level by level inequivalence
We show that the theories “ZFC + There is a supercompact cardinal” and “ZFC + There is a supercompact cardinal + Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.
متن کاملLevel by level inequivalence beyond measurability
We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide. Say that a model containing supercompact cardinals satisfies level by...
متن کاملSingular Failures of GCH and Level by Level Equivalence ∗†
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.
متن کاملInaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence
We construct models for the level by level equivalence between strong compactness and supercompactness containing failures of GCH at inaccessible cardinals. In one of these models, no cardinal is supercompact up to an inaccessible cardinal, and for every inaccessible cardinal δ, 2δ > δ++. In another of these models, no cardinal is supercompact up to an inaccessible cardinal, and the only inacce...
متن کامل