Determinacy and the sharp function on the reals (Q5966622)
From MaRDI portal
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