HODL(ℝ) is a Core Model Below Θ

DOI10.2307/420947MaRDI QIDQ4837675zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 28 November 1995

Published in The 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

core modeldeterminacyinner modellarge cardinalsuniverse 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)

Recommendations

• The core model induction in a choiceless context
• Is there a set of reals not in \(K(\mathbb{R})\)?
• scientific article; zbMATH DE number 3914317
• HOD in inner models with Woodin cardinals

Cites work

• Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
• Descriptive set theory
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• 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

Cited in

(27)

• Is there a set of reals not in \(K(\mathbb{R})\)?
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• A long pseudo-comparison of premice in \(L[x]\)
• Inner model operators in \(L(\mathbb{R})\)
• HOD in natural models of \(\mathsf{AD}^+\)
• Strong partition cardinals and determinacy in \(K(\mathbb R)\)
• A boundedness lemma for iterations
• On the prewellorderings associated with the directed systems of mice
• A brief account of recent developments in inner model theory
• Scales in K(ℝ) at the end of a weak gap
• Scales of minimal complexity in \({K(\mathbb{R})}\)
• Some applications of coarse inner model theory
• AN ANALYSIS OF THE MODELS
• The calculus of partition sequences, changing cofinalities, and a question of Woodin
• HOD in inner models with Woodin cardinals
• Maximal almost disjoint families, determinacy, and forcing
• Determinacy and Jónsson cardinals in \(L(\mathbb{R})\)
• Implications of very large cardinals
• Iterates of M₁
• The core model induction in a choiceless context
• The comparison lemma
• A covering lemma for HOD of \(K(\mathbb R)\)
• Determinacy axioms and large cardinals
• Almost disjoint families under determinacy
• Unreachability of inductive-like pointclasses in \(L(\mathbb{R})\)
• Hjorth's reflection argument
• Boldface GCH below the first uncountable limit cardinal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4837675)