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 cardinalsconsistency strengthcore modeliteration treeslarge cardinal hierarchyVictoria Delfino 12zero handgrenade

Mathematics Subject Classification ID

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

Related Items

LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ Projective well-orderings of the reals ⋮ A universal extender model without large cardinals in V ⋮ Covering at limit cardinals of K ⋮ On tall cardinals and some related generalizations ⋮ Coherent sequences and threads ⋮ More on uniform ultrafilters over a singular cardinal ⋮ Making all cardinals almost Ramsey ⋮ Universally Baire sets and definable well-orderings of the reals ⋮ What do we need large cardinals for? ⋮ BLOWING UP THE POWER OF A SINGULAR CARDINAL OF UNCOUNTABLE COFINALITY ⋮ Tall cardinals in extender models ⋮ KWithout the Measurable

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