Inner model operators in \(L(\mathbb{R})\)

DOI10.1016/S0168-0072(99)00012-3zbMath0939.03053MaRDI QIDQ1964018

Mitch Rudominer

Publication date: 5 July 2000

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

zbMATH Keywords

micelarge cardinalsdeterminacyfine structureWoodin cardinalsTuring degreeinner model operator

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Inner models with many Woodin cardinals
• Mouse sets
• The real core model and its scales
• Projectively well-ordered inner models
• A classification of jump operators
• Two Consequences of Determinacy Consistent with Choice
• The Theory of Countable Analytical Sets
• A degree-theoretic definition of the ramified analytical hierarchy
• The largest countable inductive set is a mouse set
• HOD^L(ℝ) is a Core Model Below Θ
• The fine structure of the constructible hierarchy

This page was built for publication: Inner model operators in \(L(\mathbb{R})\)