Skip to main content
Log in

\(AD_{\mathbb {R}}\) implies that all sets of reals are \(\Theta \) universally Baire

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We show that assuming the determinacy of all games on reals, every set of reals is \(\Theta \) universally baire.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. However, the large cardinal assumption used in [6] is probably optimal.

  2. \({\mathbb {R}}\) is the Baire space.

  3. This means that there is a set \(U^k\subseteq \omega \times {\mathbb {R}}^k\) such that \(U^k\in \Gamma \) and for every set \(A\in \Gamma \), if \(A\subseteq {\mathbb {R}}^k\) then there is an integer n such that \(x\in A\iff (n, x)\in U^k\).

  4. The point of this move is to just avoid discussing \(Env(\Gamma )\). Readers familiar with this notion do not have to make this move.

  5. More precisely, “there is an ordinal which is not the surjective image of \({\mathbb {R}}\)”.

  6. We will need the freedom to include any \(OD^{M_\Gamma }(B_0)\) set of reals into our condensing sequence.

  7. \(\sigma (g)\) is the realization of \(\sigma \).

  8. Here \(\vec {A}\) is any sjs for which \(M_\Gamma =L_\gamma (\vec {A}, {\mathbb {R}})\).

  9. Recall that \(AD_{{\mathbb {R}}}\) implies that \(\omega _1\) is supercompact.

  10. self-well-ordered

  11. i.e., the iterates of \({\mathcal {M}}\) are also \(\Sigma \)-premice

  12. To see this, first because \(\delta \) is inaccessible, condensation implies that \(\rho ({\mathcal {M}}_n^{\#, \Sigma }({\mathcal {M}}))=\delta \) as otherwise we could take a transitive below \(\delta \) hull \({\mathcal {N}}\) of \({\mathcal {M}}_n^{\#, \Sigma }({\mathcal {M}})\), and by condensation \({\mathcal {N}}\trianglelefteq {\mathcal {M}}\). Next, fix \(f:\delta \rightarrow \delta \) such that \(f\in {\mathcal {M}}_n^{\#, \Sigma }({\mathcal {M}})\). Then following the proof of [8, Theorem on page 115] find an extender E such that \(\pi _E^Q(f)(\mathrm{crit }(E))<strength(E)\) and \(E\cap {\mathcal {M}}\in {\mathcal {M}}\). This E witnesses Woodinness of \(\delta \) with respect to f.

  13. \({\mathbb {W}}_\eta ^S\) is the extender algebra of S associated to \(\eta \), a Woodin cardinal of S.

  14. \(C^\#\) can be thought as the minimal active mouse over \(C, {\mathbb {R}}\) that is \(\omega _1\)-iterable

  15. This could happen if for instance, C is Wadge reducible to C.

References

  1. Caicedo, A.E., Larson, P., Sargsyan, G., Schindler, R., Steel, J., Zeman, M.: Square principles in \(\mathbb{P}_{{\rm max}}\) extensions. Isr. J. Math 217(1), 231–261 (2017)

    Article  Google Scholar 

  2. Harrington, L.A., Kechris, A.S.: Ordinal games and their applications. In: Logic, Methodology and Philosophy of Science, VI (Hannover, 1979), Volume 104 of Stud. Logic Foundations Math., pp. 273–277. North-Holland, Amsterdam (1982)

  3. Jackson, S..: Structural consequences of AD. In: Handbook of Set Theory, vols. 1, 2, 3, pp. 1753–1876. Springer, Dordrecht (2010)

  4. Koellner, P., Woodin, W.H.: Large cardinals from determinacy. In: Handbook of Set Theory, vols. 1, 2, 3, pp. 1951–2119. Springer, Dordrecht (2010)

  5. Larson, P.: Extensions of the Axiom of Determinacy. To appear, available at https://www.users.miamioh.edu/larsonpb

  6. Larson, P., Sargsyan, G., Wilson, T.: A model of AD in which all sets of reals are universally Baire. To appear, available at www.math.rutgers.edu/gs481/papers

  7. Martin, D.A., Steel, J.R.: The tree of a Moschovakis scale is homogeneous. In: Games, S., Cardinals, S:. The Cabal Seminar, vol. I, volume 31 of Lect. Notes Log., pp. 404–420. Assoc. Symbol. Logic, Chicago (2008)

  8. Mitchell, W.J., Steel, J.R.: Fine Structure and Iteration Trees. Lecture Notes in Logic, vol. 3. Springer, Berlin (1994)

  9. Sargsyan, G.: Towards reducing universally baire sets to iteration strategies (to appear)

  10. Sargsyan, G..: Hod mice and the mouse set conjecture, volume 236 of Memoirs of the American Mathematical Society. American Mathematical Society (2014)

  11. Schindler, R., Steel, J.R.: The core model induction. Available at www.math.berkeley.edu/steel

  12. Schindler, R., Steel, J.R.: The strength of AD. Available at https://www.math.uni-muenster.de/logik/personen/rds/

  13. Steel, J.R.: A theorem of Woodin on Mouse Sets. available at www.math.berkeley.edu/steel/

  14. Steel, J.R.: Scales in \(L({\bf R})\). In: Cabal Seminar, pp. 79–81, volume 1019 of Lecture Notes in Math., pp. 107–156. Springer, Berlin (1983)

  15. Steel, J.R.: An outline of inner model theory. In: Handbook of Set Theory, vols. 1, 2, 3, pp. 1595–1684. Springer, Dordrecht (2010)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Grigor Sargsyan.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sargsyan, G. \(AD_{\mathbb {R}}\) implies that all sets of reals are \(\Theta \) universally Baire. Arch. Math. Logic 60, 1–15 (2021). https://doi.org/10.1007/s00153-020-00731-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-020-00731-w

Keywords

Mathematics Subject Classification

Navigation