The core model induction in a choiceless context

zbMATH Open1138.03041MaRDI QIDQ5449698FDOQ5449698

Authors: Daniel Busche 

Publication date: 18 March 2008

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

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)

Cited In (4)

• Non-tame mice from tame failures of the unique branch hypothesis
• Projective uniformization revisited
• Condensation and large cardinals
• The strength of choiceless patterns of singular and weakly compact cardinals

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)