On a theorem of Magidor

2017/11/14 by Mohammad Golshani, Golshani, Mohammad
Mathematics · #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.1711.04938

openalex publication_date 2017/11/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Assuming κ is a supercompact cardinal and λ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which κ=ℵ_ω and λ=ℵ_ω+1.

Related

• The Tree Property up to ℵ_ω²
• Power set at ℵ_ω: On a theorem of Woodin
• Generically supercompact cardinals by forcing with chain conditions
• The first measurable can be the first inaccessible cardinal
• Superclub, splitting, separating statements