A criterion for coarse iterability

DOI10.1007/S00153-010-0180-0MaRDI QIDQ971884zbMATHOpenAlexFDO

Authors Gunter Fuchs, Itay Neeman, Ralf Schindler

Publication date 17 May 2010

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-010-0180-0

zbMATH Keywords

large cardinalsinner model theoryiterabilityiteration trees

Mathematics Subject Classification ID

Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Comparison of fine structural mice via coarse iteration
• A premouse inheriting strong cardinals from \(V\)
• scientific article; zbMATH DE number 967740
• The domestic levels of \(K^c\) are iterable
• Supercomplete extenders and type 1 mice. I

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• An outline of inner model theory
• Fine structure
• Inner models and large cardinals
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible

Cited in

(9)

• Thin equivalence relations and inner models
• The Set of Second Iterates is Nowhere Dense in C
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• Comparison of fine structural mice via coarse iteration
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Preserving levels of projective determinacy by tree forcings
• The solidity and nonsolidity of initial segments of the core model
• The consistency strength of long projective determinacy

This page was built for publication: A criterion for coarse iterability

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