Forcing closed unbounded subsets of \(\omega_2\)

DOI10.1016/S0168-0072(00)00062-2zbMath0989.03045OpenAlexW2066326024MaRDI QIDQ5946046

M. C. Stanley

Publication date: 14 July 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00062-2

zbMATH Keywords

treepartitionforcingstationary setclass forcingclosed unbounded setcoding the universemorass

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Cardinal-preserving extensions, Forcing Closed Unbounded Subsets of א_ω1+1, Adding closed unbounded subsets of \(\omega_2\) with finite forcing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-generic real incompatible with \(0^\sharp\)
• Forcing Closed Unbounded Subsets of א_ω1+1
• Forcing closed unbounded sets
• Adding a closed unbounded set
• Invisible genericity and 0^#
• Cardinal-preserving extensions
• The Π 1 2 -Singleton Conjecture