scientific article; zbMATH DE number 4047708

MaRDI QIDQ3784061zbMATH OpenFDO

Authors

Publication date 1988

zbMATH Keywords

generalized core modelslarge cardinallower levels of the projective hierarchyprojective determinacy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• Deconstructing inner model theory
• Mathematics of Program Construction
• Modelling higher-order dual nondeterminacy
• Inner Models of Univalence
• Forcing notions in inner models
• The modal logic of inner models
• scientific article; zbMATH DE number 1886433
• Descriptive inner model theory
• On the consistency strength of the inner model hypothesis

Cited in

(6)

• Some descriptive set theory and core models
• Projective uniformization revisited
• On the consistency strength of the inner model hypothesis
• Foundational implications of the inner model hypothesis
• Coding into 𝐾 by reasonable forcing
• STABLY MEASURABLE CARDINALS

This page was built for publication:

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