The core model induction in a choiceless context

MaRDI QIDQ5449698zbMATH OpenFDO

Authors Daniel Busche

Publication date 18 March 2008

zbMATH Keywords

Axiom of Determinacycore modelWoodin mouse

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• The strength of choiceless patterns of singular and weakly compact cardinals
• Strong partition cardinals and determinacy in \(K(\mathbb R)\)
• HOD^L(ℝ) is a Core Model Below Θ
• The axiom of determinacy implies dependent choice in mice
• The real core model and its scales

Cited in

(7)

• The strength of choiceless patterns of singular and weakly compact cardinals
• Projective uniformization revisited
• Non-tame mice from tame failures of the unique branch hypothesis
• Condensation and large cardinals
• HOD^L(ℝ) is a Core Model Below Θ
• The axiom of determinacy implies dependent choice in mice
• Forcing more \(\mathsf{DC}\) over the Chang model using the thorn sequence

This page was built for publication: The core model induction in a choiceless context

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