Stationary reflection using ancestrally forced conditions

2026/07/30 by Inbar Oren
Mathematics · #math.LO #msc:03E35 #msc:03E55

paper · pdf

arxiv created 2026/07/30 · arxiv updated 2026/07/31

Abstract

We introduce a new method for obtaining models of stationary reflection at the successor of a singular cardinal of any cofinality. In particular, starting from a cardinal κ which is κ⁺-supercompact, we get a model of countable simultaneous reflection at ℵ_ω1+1.

Citations

• A model for global compactness
• Sigma-Prikry forcing II: Iteration Scheme

Related

• Bounded stationary reflection II
• Stationary Reflection and the Failure OF SCH at ℵ_ω1
• Stationary Reflection and the failure of SCH
• Weak reflection at the successor of singular
• Nonreflecting stationary sets in P_kappa(lambda)