Set forcing over models of Zermelo or Mac Lane

MaRDI QIDQ3581789zbMATH OpenFDO

Authors A. R. D. Mathias

Publication date 2 September 2010

zbMATH Keywords

generic extensionslune of a modelMac Lane set theoryset forcingtransitive modelsZermelo set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Other aspects of forcing and Boolean-valued models (03E40) Nonclassical and second-order set theories (03E70)

Recommendations

• Provident sets and rudimentary set forcing
• The strength of Mac Lane set theory
• Forcing and antifoundation
• Forcing with non-wellfounded models
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(5)

• Rudimentary recursion, gentle functions and provident sets
• Forcing with non-wellfounded models
• Provident sets and rudimentary set forcing
• The strength of Mac Lane set theory
• The formal verification of the ctm approach to forcing

This page was built for publication: Set forcing over models of Zermelo or Mac Lane

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