Forcing with non-wellfounded models

MaRDI QIDQ3629227zbMATH OpenFDO

Authors Paul Corazza

Publication date 27 May 2009

zbMATH Keywords

iterated forcingforcing over arbitrary model of set theory

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Recommendations

• Forcing and antifoundation
• Set forcing over models of Zermelo or Mac Lane
• scientific article; zbMATH DE number 1827832
• Forcing with the anti-foundation axiom
• Forcing over ord-transitive models

Cited in

(13)

• Forcing over ord-transitive models
• scientific article; zbMATH DE number 1827832 (Why is no real title available?)
• Non-well-founded extensions of V
• Multi-level nonstandard analysis and the axiom of choice
• Set forcing over models of Zermelo or Mac Lane
• Forcing consequences of PFA together with the continuum large
• Forcing under Anti‐Foundation Axiom: An expression of the stalks
• A reconstruction of Steel's multiverse project
• Saturated Families
• Provident sets and rudimentary set forcing
• Forcing and antifoundation
• The modal logic of inner models
• Indestructibility of wholeness

This page was built for publication: Forcing with non-wellfounded models

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