The core model for almost linear iterations

DOI10.1016/S0168-0072(01)00113-0zbMath1017.03029arXivmath/0002089MaRDI QIDQ1602852

Ralf-Dieter Schindler

Publication date: 24 June 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0002089

zbMATH Keywords

strong cardinals; consistency strength; core model; iteration trees; large cardinal hierarchy; Victoria Delfino 12; zero handgrenade

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

Related Items

Universally Baire sets and definable well-orderings of the reals, A universal extender model without large cardinals in V, Projective well-orderings of the reals, Making all cardinals almost Ramsey, Coherent sequences and threads, What do we need large cardinals for?

Cites Work

• The covering lemma up to a Woodin cardinal
• Descriptive set theory
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• Weak covering without countable closure
• Projective uniformization revisited
• Deconstructing inner model theory
• The core model for sequences of measures. I
• The core model
• The maximality of the core model
• Strong Cardinals and Sets of Reals in Lω1(ℝ)
• Universally Baire sets and definable well-orderings of the reals
• Core models with more Woodin cardinals
• Inner Models and Large Cardinals
• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item