𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Indestructibility and level by level equivalence and inequivalence

✍ Scribed by Arthur W. Apter

Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
133 KB
Volume
53
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 in κ. On the other hand, using a variant of the argument used to establish this fact, it is possible to prove that if κ < λ are such that κ is indestructibly supercompact and λ is measurable, then {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ satisfies level by level equivalence between strong compactness and supercompactness} must be unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must satisfy level by level equivalence between strong compactness and supercompactness. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must violate level by level equivalence between strong compactness and supercompactness.

📜 SIMILAR VOLUMES

Tallness and level by level equivalence
Tallness and level by level equivalence and inequivalence
✍ Arthur W. Apter 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB

## 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

Indestructibility under adding Cohen sub
Indestructibility under adding Cohen subsets and level by level equivalence
✍ Arthur W. Apter 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 120 KB

## 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

Level by level equivalence and strong co
Level by level equivalence and strong compactness
✍ Arthur W. Apter 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

## 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

An Easton theorem for level by level equ
An Easton theorem for level by level equivalence
✍ Arthur W. Apter 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 130 KB

## 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

Failures of GCH and the level by level e
Failures of GCH and the level by level equivalence between strong compactness and supercompactness
✍ Arthur W. Apter 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

## 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

Supercompactness and measurable limits o
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence
✍ Arthur W. Apter 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB

## 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