More on mutual stationarity

2001/04/06 by Ralf Schindler, Schindler, Ralf
Computer Science · Mathematics · #03E45 #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Topological and Geometric Data Analysis #advanced mathematical theories #math.LO #msc:03E45

paper · pdf · doi:10.48550/arxiv.math/0104072

7 pages

arxiv created 2001/04/06 · openalex publication_date 2001/04/06 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Extending a result of Foreman and Magidor we prove that in the core model for almost linear iterations the following holds. There is a sequence (Sⁿ_α: n0) such that each individual Sⁿ_αis a stationary subset of ℵ_α+1 consisting of points of cofinality ω₁, and for all limits λand for all f:λ-> ωdo we have that (S^f(α)_α: α

Related

• Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering
• Global Square and Mutual Stationarity at the Aleph_n
• Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
• On Singular Stationarity I (mutual stationarity and ideal-based methods)
• On Singular Stationarity II (tight stationarity and extenders-based methods)