## 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
Level by level equivalence and strong compactness
✍ Scribed by Arthur W. Apter
- Publisher
- John Wiley and Sons
- Year
- 2004
- Tongue
- English
- Weight
- 219 KB
- Volume
- 50
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
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 compact cardinals. In these models, every measurable cardinal κ which isn't either strongly compact or a witness to a certain phenomenon first discovered by Menas is such that for every regular cardinal λ > κ, κ is λ strongly compact iff κ is λ supercompact. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## Abstract We construct two models containing exactly one supercompact cardinal in which all non‐supercompact 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 supe
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
## 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
## MSC (2000) 03E35, 03E55 We establish an Easton theorem for the least supercompact cardinal that is consistent with the level by level equivalence between strong compactness and supercompactness. In both our ground model and the model witnessing the conclusions of our theorem, there are no restr
## Abstract We construct a model for the level by level equivalence between strong compactness and supercompactness in which the least supercompact cardinal __κ__ has its strong compactness indestructible under adding arbitrarily many Cohen subsets. There are no restrictions on the large cardinal s