Forcing Closed Unbounded Subsets of אω1+1

DOI10.2178/jsl.7803010zbMath1348.03043OpenAlexW2029844803MaRDI QIDQ2869897

M. C. Stanley

Publication date: 7 January 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1389032271

zbMATH Keywords

treeforcingsquarestationary setclass forcingclosed unbounded setpatternstrong covering

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

Forcing closed unbounded subsets of \(\omega_2\)

Cites Work

• Unnamed Item
• Canonical structure in the universe of set theory. II.
• Forcing closed unbounded subsets of \(\omega_2\)