Strong covering without squares

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

Let W be an inner model of ZFC. Let κ be a cardinal in V. We say that κ-covering holds between V and W iff for all X ∈ V with X ⊆ ON and V |= |X| < κ, there exists Y ∈ W such that X ⊆ Y ⊆ ON and V |= |Y| < κ. Strong κ-covering holds between V and W iff for every structure M ∈ V for some countable first-order language whose underlying set is some ordinal λ, and every X ∈ V with X ⊆ λ and V |= \X\ < κ, there is Y ∈ W such that X ⊆ Y ≺ M and V |= |Y| < κ. We prove that if κ is V-regular, κ+V = κ+W, and we have both κ-covering and κ+-covering between W and V, then strong κ-covering holds. Next we show that we can drop the assumption of κ+-covering at the expense of assuming some more absoluteness of cardinals and cofinalities between W and V, and that we can drop the assumption that κ+W = κ+V and weaken the κ+-covering assumption at the expense of assuming some structural facts about W (the existence of certain square sequences).

Original languageEnglish
Pages (from-to)87-107
Number of pages21
JournalFundamenta Mathematicae
Volume166
Issue number1-2
StatePublished - 2001

Keywords

  • Covering
  • Pcf theory
  • Set theory
  • Strong covering lemma

Fingerprint

Dive into the research topics of 'Strong covering without squares'. Together they form a unique fingerprint.

Cite this