Determinacy from strong reflection
HTML articles powered by AMS MathViewer
- by John Steel and Stuart Zoble PDF
- Trans. Amer. Math. Soc. 366 (2014), 4443-4490 Request permission
Abstract:
The Axiom of Determinacy holds in the inner model $L(\mathbb {R})$ assuming Martin’s Maximum for partial orderings of size c.References
- Qi Feng and Thomas Jech, Projective stationary sets and a strong reflection principle, J. London Math. Soc. (2) 58 (1998), no. 2, 271–283. MR 1668171, DOI 10.1112/S0024610798006462
- Qi Feng, Menachem Magidor, and Hugh Woodin, Universally Baire sets of reals, Set theory of the continuum (Berkeley, CA, 1989) Math. Sci. Res. Inst. Publ., vol. 26, Springer, New York, 1992, pp. 203–242. MR 1233821, DOI 10.1007/978-1-4613-9754-0_{1}5
- Matthew Foreman and Menachem Magidor, Large cardinals and definable counterexamples to the continuum hypothesis, Ann. Pure Appl. Logic 76 (1995), no. 1, 47–97. MR 1359154, DOI 10.1016/0168-0072(94)00031-W
- Foreman, M., Magidor, M., Shelah, S., Martin’s Maximum, Saturated Ideals, and Nonregular Ultrafilters, Annals of Mathematics 127 (1998), 1-47
- Kai Hauser, Generic relativizations of fine structure, Arch. Math. Logic 39 (2000), no. 4, 227–251. MR 1758628, DOI 10.1007/s001530050145
- Thomas Jech, Stationary sets, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 93–128. MR 2768680, DOI 10.1007/978-1-4020-5764-9_{2}
- Alexander S. Kechris and W. Hugh Woodin, Equivalence of partition properties and determinacy, Proc. Nat. Acad. Sci. U.S.A. 80 (1983), no. 6, i, 1783–1786. MR 699440, DOI 10.1073/pnas.80.6.1783
- Alexander S. Kechris, Benedikt Löwe, and John R. Steel (eds.), Games, scales, and Suslin cardinals. The Cabal Seminar. Vol. I, Lecture Notes in Logic, vol. 31, Association for Symbolic Logic, Chicago, IL; Cambridge University Press, Cambridge, 2008. MR 2463612, DOI 10.1017/CBO9780511546488
- Donald A. Martin and John R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), no. 1, 71–125. MR 955605, DOI 10.1090/S0894-0347-1989-0955605-X
- William J. Mitchell and John R. Steel, Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994. MR 1300637, DOI 10.1007/978-3-662-21903-4
- Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709
- Itay Neeman, Optimal proofs of determinacy, Bull. Symbolic Logic 1 (1995), no. 3, 327–339. MR 1349683, DOI 10.2307/421159
- Itay Neeman, Optimal proofs of determinacy. II, J. Math. Log. 2 (2002), no. 2, 227–258. MR 1938924, DOI 10.1142/S0219061302000175
- 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
- Schindler, R., Steel, J., The Strength of AD, unpublished manuscript.
- Schindler, R., Steel, J., The Core Model Induction, unpublished manuscript.
- John R. Steel, Scales on $\Sigma ^{1}_{1}$ sets, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 72–76. MR 730588, DOI 10.1007/BFb0071695
- 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
- Alexander S. Kechris, Benedikt Löwe, and John R. Steel (eds.), Wadge degrees and projective ordinals. The Cabal Seminar. Volume II, Lecture Notes in Logic, vol. 37, Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012. MR 2906066
- John R. Steel, An outline of inner model theory, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 1595–1684. MR 2768698, DOI 10.1007/978-1-4020-5764-9_{2}0
- 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, 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, Scales in $L(\textbf {R})$, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 107–156. MR 730592, DOI 10.1007/BFb0071699
- 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
- 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
- Zoble, S., Stationary Reflection and the Determinacy of Inductive Games, Doctoral Dissertation, University of California at Berkeley, 2000
- Stuart Zoble, Stationary reflection and the universal Baire property, Fund. Math. 191 (2006), no. 1, 45–56. MR 2232195, DOI 10.4064/fm191-1-3
Additional Information
- John Steel
- Affiliation: Department of Mathematics, University of California at Berkeley, Berkeley, California 94720-2284
- Email: steel@math.berkeley.edu
- Stuart Zoble
- Affiliation: Department of Mathematics, Wesleyan University, Middletown, Connecticut 06459
- Email: azoble@wesleyan.edu
- Received by editor(s): July 21, 2009
- Received by editor(s) in revised form: December 17, 2012
- Published electronically: May 28, 2013
- © Copyright 2013 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 366 (2014), 4443-4490
- MSC (2010): Primary 03E45; Secondary 03E35
- DOI: https://doi.org/10.1090/S0002-9947-2013-06058-8
- MathSciNet review: 3206466