Forcing over ord-transitive models

DOI10.6094/UNIFR/149700MaRDI QIDQ5174218zbMATH OpenFDO

Authors Fiorella Guichardaz

Publication date 17 February 2015

Full work available at URL http://d-nb.info/1188563912/34

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Iterated forcing and elementary embeddings
• Forcing with non-wellfounded models
• Forcing with sequences of models of two types
• Reasonably complete forcing notions
• Generalized Iteration of Forcing

Cited in

(2)

• Forcing with non-wellfounded models
• Towers, mad families, and unboundedness

This page was built for publication: Forcing over ord-transitive models

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