HODL(ℝ) is a Core Model Below Θ

DOI10.2307/420947zbMath0826.03022OpenAlexW2329291260MaRDI QIDQ4837675

J. R. Steel

Publication date: 28 November 1995

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0101-toc.htm

zbMATH Keywords

inner modellarge cardinalsdeterminacycore modeluniverse of all sets constructible from the reals

Mathematics Subject Classification ID

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

Related Items (19)

Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable ⋮ A long pseudo-comparison of premice in \(L[x\)] ⋮ Maximal almost disjoint families, determinacy, and forcing ⋮ The comparison lemma ⋮ Implications of very large cardinals ⋮ Scales in K(ℝ) at the end of a weak gap ⋮ Determinacy axioms and large cardinals ⋮ Almost disjoint families under determinacy ⋮ Iterates of $M_1$ ⋮ Inner model operators in \(L(\mathbb{R})\) ⋮ AN ANALYSIS OF THE MODELS ⋮ Some applications of coarse inner model theory ⋮ A brief account of recent developments in inner model theory ⋮ A boundedness lemma for iterations ⋮ DETERMINACY AND JÓNSSON CARDINALS INL(ℝ) ⋮ The calculus of partition sequences, changing cofinalities, and a question of Woodin ⋮ Is there a set of reals not in \(K(\mathbb{R})\)? ⋮ IN INNER MODELS WITH WOODIN CARDINALS ⋮ On the Prewellorderings Associated with the Directed Systems of Mice

Cites Work

• Unnamed Item
• Descriptive set theory
• Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
• Inner models with many Woodin cardinals
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• Thin collections of sets of projective ordinals and analogs of L

This page was built for publication: HOD^L(ℝ) is a Core Model Below Θ