Scales of minimal complexity in K(R)

DOI10.1007/S00153-012-0267-XMaRDI QIDQ412055zbMATH OpenOpenAlexFDO

Authors Daniel W. Cunningham

Publication date 3 May 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-012-0267-x

zbMATH Keywords

descriptive set theorydeterminacyfine structurescales

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Review text

This paper is a contribution to the ongoing project to extend the inner model \( L ( \mathbb{R} ) \) and the analysis of its fine structure to the real core model, that is the model \( K ( \mathbb{R} ) \). Inner models such as \( L ( \mathbb{R} ) \) play a crucial role in gauging the strength of the determinacy assumptions at hand. The real core model \( K ( \mathbb{R} ) \), introduced by the author in [Ann. Pure Appl. Logic 72, No. 3, 213--289 (1995; Zbl 0828.03025)], is an extension of \( L ( \mathbb{R} ) \) pretty much like the Dodd-Jensen core model \( K \) is an extension of \( L \), with \( \mathbb{R}^\# \) playing the role of \( 0^\# \). Just like \( L ( \mathbb{R} ) \), the descriptive set theory of \( K ( \mathbb{R} ) \) is civilized by the axiom of determinacy, and by the existence of definable scales. The existence of definable scales for a pointclass \( \Gamma \), or equivalently, Suslin's representation for sets in \( \Gamma \), is a highly desirable feature in descriptive set theory since it yields uniformization for \( \Gamma \), which is the definable version of \( \mathsf{AC} \) for such pointclass. In this paper, the author extends Steel's analysis of the scales in \( L ( \mathbb{R} )\) [\textit{J. R. Steel}, Lect. Notes Math. 1019, 107--156 (1983; Zbl 0529.03028)] to the real core model obtaining a complete description of the levels where the scale property holds.

Recommendations

• Is there a set of reals not in \(K(\mathbb{R})\)?
• The fine structure of real mice
• The real core model and its scales
• Scales in \({\mathbf K}(\mathbb R)\)
• HOD^L(ℝ) is a Core Model Below Θ
• Strong partition cardinals and determinacy in \(K(\mathbb R)\)
• Mouse sets
• A diamond principle consistent with AD
• The equivalence of partition properties and determinacy
• A diamond-plus principle consistent with AD

Cites work

• Descriptive set theory
• scientific article; zbMATH DE number 3910381 (Why is no real title available?)
• scientific article; zbMATH DE number 3743241 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• Is there a set of reals not in \(K(\mathbb{R})\)?
• The core model
• The fine structure of real mice
• The fine structure of the constructible hierarchy
• The real core model and its scales

Cited in

(5)

• The real core model and its scales
• Strong partition cardinals and determinacy in \(K(\mathbb R)\)
• Scales on \(\Pi^2_1\) sets
• Scales in \({\mathbf K}(\mathbb R)\)
• The fine structure of real mice

This page was built for publication: Scales of minimal complexity in \({K(\mathbb{R})}\)

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