Long low iterations

2004/04/07 by Heike Mildenberger, Saharon Shelah, Mildenberger, Heike +1
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #math.LO

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

published as Ann. Pure Appl. Logic 149 No. 1-3 (2007) 7--13

arxiv created 2004/04/07 · openalex publication_date 2004/04/07 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We try to control many cardinal characteristics by working with a notion of orthogonality between two families of forcings. We show that b⁺

Citations

• Long iterations for the continuum

Related

• Long iterations for the continuum
• An Iteration Theorem for ω₁-preserving Forcings
• Proper forcing and L(\mathbb R)
• Property B: A Baumgartner-style Property that Applies to Preservation of ℵ₁ and ℵ₂ under Iterations with Supports of Size ℵ₁
• PFA(S)[S] for the masses