Determinacy and the sharp function on the reals (Q5966622): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The equivalence of determinacy and iterated sharps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Determinacy and the sharp function on objects of type <i>k</i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5817866 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3852172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measurable cardinals and analytic games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Borel determinacy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory / rank | |||
Normal rank |
Latest revision as of 17:32, 15 May 2024
scientific article; zbMATH DE number 39204
Language | Label | Description | Also known as |
---|---|---|---|
English | Determinacy and the sharp function on the reals |
scientific article; zbMATH DE number 39204 |
Statements
Determinacy and the sharp function on the reals (English)
0 references
28 June 1992
0 references
This paper characterizes in terms of determinacy the strength of the existence of an inner model which satisfies that for every real its sharp exists. Martin in the 1970's showed that measurable cardinals imply the determinacy of \(\omega^ 2 - \Pi_ 1^ 1\) games and that the existence of \#'s is equivalent to the determinacy of \(\bigcup_{\beta < \omega^ 2}\left( \beta - \Pi_ 1^ 1 \right) \) games. These are the first \(\omega^ 2\) levels in the Hausdorff difference hierarchy over the \(\Pi_ 1^ 1\) sets and are very low in the hierarchy of \(\Delta_ 2^ 1\) sets. Two classes of sets, \((\Pi_ 1^ 0)^*\) and \((\Pi_ 1^ 0)_ +^*\), are defined which are strictly between \(\bigcup_{\beta < \omega^ 2}\left( \beta - \Pi_ 1^ 1 \right) \text{ and } \Delta \left( \omega^ 2 - \Pi_ 1^ 1 \right) . \) Define \(\#_ 1\) to be the (partial) sharp function on the reals. It is shown that \(L[\#_ 1]\models\) ``every real has a sharp'' implies the determinacy of \((\Pi_ 1^ 0)^*\) games. And the existence of indiscernibles for \(L[\#_ 1]\) is equivalent to the determinacy of \((\Pi_ 1^ 0)_ +^*\) games.
0 references
sharps
0 references
determinacy
0 references
inner model
0 references