Scales of minimal complexity in \({K(\mathbb{R})}\) (Q412055): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / 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. | |||
Property / 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro Andretta / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6029794 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
descriptive set theory | |||
Property / zbMATH Keywords: descriptive set theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
scales | |||
Property / zbMATH Keywords: scales / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
determinacy | |||
Property / zbMATH Keywords: determinacy / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fine structure | |||
Property / zbMATH Keywords: fine structure / rank | |||
Normal rank |
Revision as of 19:47, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Scales of minimal complexity in \({K(\mathbb{R})}\) |
scientific article |
Statements
Scales of minimal complexity in \({K(\mathbb{R})}\) (English)
0 references
3 May 2012
0 references
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.
0 references
descriptive set theory
0 references
scales
0 references
determinacy
0 references
fine structure
0 references