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

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

zbMATH Keywords

large cardinalsinner model theoryiterabilityiteration trees

Mathematics Subject Classification ID

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

Cites Work

• Fine structure
• An outline of inner model theory
• Inner models and large cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible

Cited In (8)

• 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 CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
• THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL
• The Set of Second Iterates is Nowhere Dense in C
• Thin equivalence relations and inner models
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability

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)