Determinacy and the sharp function on the reals (Q5966622): Difference between revisions

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.