Constructibility and class forcing

DOI10.1007/978-1-4020-5764-9_9MaRDI QIDQ3053895zbMATH OpenOpenAlexWikidataFDO

Authors Sy-David Friedman

Publication date 5 November 2010

Published in Handbook of Set Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-5764-9_9

Mathematics Subject Classification ID

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

• Fine structure and class forcing
• Forcing disabled
• Class forcing in class theory
• Classification theory and 0^#
• Generalization of one construction by Solovay

Cited in

(9)

• A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
• Generalization of one construction by Solovay
• AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
• Sufficient conditions for the forcing theorem, and turning proper classes into sets
• The strong reflecting property and Harrington's Principle
• Mutually embeddable models of ZFC
• On the ‘definability of definable’ problem of Alfred Tarski, Part II
• Forcing and the universe of sets: must we lose insight?
• Projective Measure Without Projective Baire

This page was built for publication: Constructibility and class forcing

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