A criterion for coarse iterability

DOI10.1007/S00153-010-0180-0zbMATH Open1192.03035OpenAlexW2081181631MaRDI QIDQ971884FDOQ971884

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)

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