Subcomplete forcing and L-forcing

DOI10.1142/9789814602648_0002zbMATH Open1351.03044OpenAlexW4234339746MaRDI QIDQ3461817FDOQ3461817

Ronald Jensen

Publication date: 18 January 2016

Published in: E-Recursion, Forcing and C*-Algebras (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814602648_0002

Recommendations

• Shelah's work on non-semi-proper iterations, II
• Proper forcing
• Shelah's work on non-semi-proper iterations. I
• Generalized Iteration of Forcing
• More on proper forcing

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other aspects of forcing and Boolean-valued models (03E40) Ordered sets and their cofinalities; pcf theory (03E04)

Cited In (15)

• The subcompleteness of Magidor forcing
• Canonical fragments of the strong reflection principle
• Subcomplete forcing principles and definable well‐orders
• HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
• HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS
• SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS
• Boolean valued semantics for infinitary logics
• Forcing axioms and the complexity of non-stationary ideals
• The subcompleteness of diagonal Prikry
• INDESTRUCTIBILITY OF THE TREE PROPERTY
• Singularizing successor cardinals by forcing
• \(\lambda\)-structures and \(s\)-structures: translating the models
• Forcing axioms via ground model interpretations
• Diagonal reflections on squares
• Closure properties of parametric subcompleteness

This page was built for publication: Subcomplete forcing and \(\mathcal{L}\)-forcing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3461817)