If ΞΊ < Ξ» are such that ΞΊ is indestructibly supercompact and Ξ» is 2 Ξ» supercompact, it is known from [4] that {Ξ΄ < ΞΊ | Ξ΄ is a measurable cardinal which is not a limit of measurable cardinals and Ξ΄ violates level by level equivalence between strong compactness and supercompactness} must be unbounded i
Indestructibility, instances of strong compactness, and level by level inequivalence
β Scribed by Arthur W. Apter
- Publisher
- Springer
- Year
- 2010
- Tongue
- English
- Weight
- 294 KB
- Volume
- 49
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract We force and construct models in which there are nonβsupercompact strongly compact cardinals which aren't measurable limits of strongly compact cardinals and in which level by level equivalence between strong compactness and supercompactness holds nonβtrivially except at strongly compac
## Abstract We force and obtain three models in which level by level equivalence between strong compactness and supercompactness holds and in which, below the least supercompact cardinal, GCH fails unboundedly often. In two of these models, GCH fails on a set having measure 1 with respect to certai
## Abstract We construct models for the level by level equivalence between strong compactness and supercompactness in which for __ΞΊ__ the least supercompact cardinal and __Ξ΄__ β€ __ΞΊ__ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^__Ξ΄__^ > __Ξ΄__ ^+^ and