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
Tallness and level by level equivalence and inequivalence
✍ Scribed by Arthur W. Apter
- Publisher
- John Wiley and Sons
- Year
- 2010
- Tongue
- English
- Weight
- 131 KB
- Volume
- 56
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
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 supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 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 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
## 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 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