Ideals and strong axioms of determinacy
HTML articles powered by AMS MathViewer
- by Dominik Adolf, Grigor Sargsyan, Nam Trang, Trevor M. Wilson and Martin Zeman;
- J. Amer. Math. Soc. 37 (2024), 1203-1273
- DOI: https://doi.org/10.1090/jams/1041
- Published electronically: January 26, 2024
- HTML | PDF | Request permission
Abstract:
$\Theta$ is the least ordinal $\alpha$ with the property that there is no surjection $f:\mathbb {R}\rightarrow \alpha$. ${\mathsf {AD}}_{\mathbb {R}}$ is the Axiom of Determinacy for games played on the reals. It asserts that every game of length $\omega$ of perfect information in which players take turns to play reals is determined. An ideal $\mathcal {I}$ on $\omega _1$ is $\omega _1$-dense if the boolean algebra ${\wp }(\omega _1)/ \mathcal {I}$ has a dense subset of size $\omega _1$. We consider the theories, where $\mathsf {CH}$ stands for the Continuum Hypothesis, \begin{gather*} \mathsf {ZFC} + \mathsf {CH} + \text {“There is an $\omega _1$-dense ideal on $\omega _1$.''}\\ \mathsf {ZF}+{\mathsf {AD}}_{\mathbb {R}} + \text {“$\Theta $ is a regular cardinal.''}\end{gather*} The main result of this paper is that the first theory given above implies the existence of a class model of the second theory given above. Woodin, in unpublished work, showed that the consistency of the second equation given above implies the consistency of the first equation given above. We will also give a proof of this result, which, together with our main theorem, establish the equiconsistency of both the equations given above.
As a consequence, this resolves part of question 12 of W. Hugh Woodin [The axiom of determinacy, forcing axioms, and the nonstationary ideal, Walter de Gruyter & Co., Berlin, 1999], in particular, it shows that the theories (b) and (c) in question 12 of W. Hugh Woodin [The axiom of determinacy, forcing axioms, and the nonstationary ideal, Walter de Gruyter & Co., Berlin, 1999] are equiconsistent. Thus, our work completes the work that was started by Woodin and Ketchersid in [Toward AD($\mathbb {R}$) from the continuum hypothesis and an $\omega _1$-dense ideal, ProQuest LLC, Ann Arbor, MI, 2000] some 25 years ago. We also establish other theorems of similar nature in this paper, showing the equiconsistency of the second equation given above and the statement that the non-stationary ideal on ${\wp }_{\omega _1}(\mathbb {R})$ is strong and pseudo-homogeneous. The aforementioned results are the only known equiconsistency results at the level of $\mathsf {AD}_{\mathbb {R}} + \text {“$Θ$ is a regular cardinal.''}$
References
- Benjamin Claverie and Ralf Schindler, Woodin’s axiom $(\ast )$, bounded forcing axioms, and precipitous ideals on $\omega _1$, J. Symbolic Logic 77 (2012), no. 2, 475–498. MR 2963017, DOI 10.2178/jsl/1333566633
- Matthew Foreman, Ideals and generic elementary embeddings, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 885–1147. MR 2768692, DOI 10.1007/978-1-4020-5764-9_{1}4
- Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
- Ronald Jensen and John Steel, $K$ without the measurable, J. Symbolic Logic 78 (2013), no. 3, 708–734. MR 3135495
- Richard O’Neal Ketchersid, Toward AD(R) from the continuum hypothesis and an omega(1)-dense ideal, ProQuest LLC, Ann Arbor, MI, 2000. Thesis (Ph.D.)–University of California, Berkeley. MR 2701033
- Paul B. Larson, Extensions of the axiom of determinacy, University Lecture Series, vol. 78, American Mathematical Society, Providence, RI, [2023] ©2023. MR 4658673, DOI 10.1090/ulect/078
- Grigor Sargsyan, Hod mice and the mouse set conjecture, Mem. Amer. Math. Soc. 236 (2015), no. 1111, viii+172. MR 3362806, DOI 10.1090/memo/1111
- Grigor Sargsyan, Covering with universally Baire operators, Adv. Math. 268 (2015), 603–665. MR 3276606, DOI 10.1016/j.aim.2014.09.016
- Grigor Sargsyan and John Steel, The mouse set conjecture for sets of reals, J. Symb. Log. 80 (2015), no. 2, 671–683. MR 3377361, DOI 10.1017/jsl.2014.78
- G. Sargsyan and N. Trang, The largest Suslin axiom, Submitted, 2017, math.unt.edu/$\sim$ntrang.
- G. Sargsyan and N. Trang, The exact consistency strength of generic absoluteness for universally Baire sets, Submitted, 2019, http://math.unt.edu/~ntrang/.
- Grigor Sargsyan, A tale of hybrid mice, ProQuest LLC, Ann Arbor, MI, 2009. Thesis (Ph.D.)–University of California, Berkeley. MR 2714009
- Ernest Schimmerling and Martin Zeman, Characterization of $\square _\kappa$ in core models, J. Math. Log. 4 (2004), no. 1, 1–72. MR 2081183, DOI 10.1142/S0219061304000310
- R. Schindler and J. R. Steel, The core model induction, 2013, http://www.math.uni-muenster.de/logik/Personen/rds/.
- Ralf Schindler and John Steel, The self-iterability of $L[E]$, J. Symbolic Logic 74 (2009), no. 3, 751–779. MR 2548477, DOI 10.2178/jsl/1245158084
- F. Schlutzenberg and N. Trang, Scales in hybrid mice over $\mathbb {R}$, Submitted, 2014, math.unt.edu/~ntrang.
- Farmer Schlutzenberg, Iterability for (transfinite) stacks, J. Math. Log. 21 (2021), no. 2, Paper No. 2150008, 117. MR 4290497, DOI 10.1142/S0219061321500082
- Farmer Schlutzenberg and Nam Trang, The fine structure of operator mice, Preprint, arXiv:1604.00083, 2016.
- Farmer Schlutzenberg and Nam Trang, Scales in hybrid mice over $\mathbb {R}$, Preprint, arXiv:1210.7258, 2016.
- J. R. Steel, The derived model theorem, www.math.berkeley.edu/~steel.
- John R. Steel, The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, Berlin, 1996. MR 1480175, DOI 10.1007/978-3-662-22485-4
- John R. Steel, PFA implies $\textrm {AD}^{L(\Bbb R)}$, J. Symbolic Logic 70 (2005), no. 4, 1255–1296. MR 2194247, DOI 10.2178/jsl/1129642125
- John R. Steel, Derived models associated to mice, Computational prospects of infinity. Part I. Tutorials, Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., vol. 14, World Sci. Publ., Hackensack, NJ, 2008, pp. 105–193. MR 2449479, DOI 10.1142/9789812794055_{0}003
- John R. Steel, Scales in $\textbf {K}(\Bbb R)$, Games, scales, and Suslin cardinals. The Cabal Seminar. Vol. I, Lect. Notes Log., vol. 31, Assoc. Symbol. Logic, Chicago, IL, 2008, pp. 176–208. MR 2463615, DOI 10.1017/CBO9780511546488.011
- J. R. Steel, Scales in $K(\Bbb R)$ at the end of a weak gap, J. Symbolic Logic 73 (2008), no. 2, 369–390. MR 2414454, DOI 10.2178/jsl/1208359049
- John Steel and Stuart Zoble, Determinacy from strong reflection, Trans. Amer. Math. Soc. 366 (2014), no. 8, 4443–4490. MR 3206466, DOI 10.1090/S0002-9947-2013-06058-8
- John R. Steel, Normalizing iteration trees and comparing iteration strategies, 2016, math.berkeley.edu/~steel/papers/Publications.html.
- John R. Steel and Robert Van Wesep, Two consequences of determinacy consistent with choice, Trans. Amer. Math. Soc. 272 (1982), no. 1, 67–85. MR 656481, DOI 10.1090/S0002-9947-1982-0656481-5
- J. R. Steel, Normalizing iteration trees and comparing iteration strategies, 2022, math.berkeley.edu/~steel/papers/Publications.html.
- N. Trang, Scales in ${L}p^{\Sigma }(\mathbb {R})$, Preprint, arXiv:1210.7258, 2012.
- N. Trang, Generalized Solovay measures, the HOD analysis, and the core model induction, Ph.D. Thesis, UC Berkeley, 2013.
- Nam Trang, $\mathsf {PFA}$ and guessing models, Israel J. Math. 215 (2016), no. 2, 607–667. MR 3552291, DOI 10.1007/s11856-016-1390-x
- Nam Trang and Trevor M. Wilson, Determinacy from strong compactness of $\omega _1$, Ann. Pure Appl. Logic 172 (2021), no. 6, Paper No. 102944, 30. MR 4207954, DOI 10.1016/j.apal.2021.102944
- Trevor Miles Wilson, Contributions to Descriptive Inner Model Theory, ProQuest LLC, Ann Arbor, MI, 2012. Thesis (Ph.D.)–University of California, Berkeley. MR 3152619
- W. Hugh Woodin, The axiom of determinacy, forcing axioms, and the nonstationary ideal, De Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter & Co., Berlin, 1999. MR 1713438, DOI 10.1515/9783110804737
Bibliographic Information
- Dominik Adolf
- Affiliation: Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, Texas 76203-5017, USA
- MR Author ID: 1243413
- Email: dominikt.adolf@googlemail.com
- Grigor Sargsyan
- Affiliation: Institute of Mathematics of the Polish Academy of Sciences, Antoniego Abrahama 18 81-825 Sopot, Poland
- MR Author ID: 677243
- ORCID: 0000-0002-6095-1997
- Email: gsargsyan@impan.pl
- Nam Trang
- Affiliation: Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, Texas 76203-5017, USA
- MR Author ID: 1067824
- ORCID: 0000-0002-7528-682X
- Email: Nam.Trang@unt.edu
- Trevor M. Wilson
- Affiliation: Department of Mathematics, Miami University, 123 Bachelor Hall, 301 S. Patterson Ave., Oxford, OH 45056, USA
- MR Author ID: 766093
- ORCID: 0000-0001-9513-3612
- Email: twilson@miamioh.edu
- Martin Zeman
- Affiliation: Department of Mathematics, University of California Irvine, Irvine, CA 92697-3875, USA
- MR Author ID: 609638
- Email: mzeman@math.uci.edu
- Received by editor(s): September 20, 2022
- Received by editor(s) in revised form: September 22, 2023
- Published electronically: January 26, 2024
- Additional Notes: The second author was supported by NCN via NCN Grant WEAVE-UNISONO Id 567137. The third author was supported by the NSF via Career Award DMS-1945592.
- © Copyright 2024 American Mathematical Society
- Journal: J. Amer. Math. Soc. 37 (2024), 1203-1273
- MSC (2020): Primary 03E15, 03E45, 03E60
- DOI: https://doi.org/10.1090/jams/1041
- MathSciNet review: 4777642