A criterion for coarse iterability

DOI10.1007/s00153-010-0180-0zbMath1192.03035OpenAlexW2081181631MaRDI QIDQ971884

Itay Neeman, Gunter Fuchs, Ralf-Dieter 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 cardinalsiterabilityiteration treesinner model theory

Mathematics Subject Classification ID

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

Related Items (6)

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Preserving levels of projective determinacy by tree forcings ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Thin equivalence relations and inner models ⋮ THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Cites Work

• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• Fine Structure
• An Outline of Inner Model Theory
• Inner models and large cardinals
• Unnamed Item
• Unnamed Item

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