The core model induction in a choiceless context

MaRDI QIDQ5449698zbMATH OpenFDO

Authors Daniel Busche

Publication date 18 March 2008

zbMATH Keywords

core modelAxiom of DeterminacyWoodin 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

(6)

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

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)