Determined admissible sets

Aguilera, J.

doi:10.1090/proc/14914

Determined admissible sets
HTML articles powered by AMS MathViewer

by J. P. Aguilera PDF

Proc. Amer. Math. Soc. 148 (2020), 2217-2231

Abstract:

It is shown, from hypotheses in the region of $\omega ^2$ Woodin cardinals, that there is a transitive model of Kripke–Platek set theory containing $\mathbb {R}$ in which all games on $\mathbb {R}$ are determined.

References

Peter Aczel, Quantifiers, games and inductive definitions, Proceedings of the Third Scandinavian Logic Symposium (Univ. Uppsala, Uppsala, 1973) Stud. Logic Found. Math., Vol. 82, North-Holland, Amsterdam, 1975, pp. 1–14. MR 0424515
J. P. Aguilera, Long Borel Games, 2018. Forthcoming.
J. P. Aguilera, Shortening Clopen Games, 2018. Forthcoming.
Andreas Blass, Equivalence of two strong forms of determinacy, Proc. Amer. Math. Soc. 52 (1975), 373–376. MR 373903, DOI 10.1090/S0002-9939-1975-0373903-X
Akihiro Kanamori, The higher infinite, 2nd ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2009. Large cardinals in set theory from their beginnings; Paperback reprint of the 2003 edition. MR 2731169
Alexander S. Kechris, On Spector classes, Ordinal definability and recursion theory: The Cabal Seminar. Vol. III, Lect. Notes Log., vol. 43, Assoc. Symbol. Logic, Ithaca, NY, 2016, pp. 390–423. Reprint of MR0526922. MR 3469176
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
Peter Koellner and W. Hugh Woodin, Large cardinals from determinacy, Handbook of set theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 1951–2119. MR 2768702, DOI 10.1007/978-1-4020-5764-9_{2}4
P. B. Larson. Extensions of the Axiom of Determinacy. 2019. Book draft dated June 26, 2019.
D. A. Martin. The Real Game Quantifier Propagates Scales. In A. S. Kechris, B. Löwe, and J. R. Steel, editors, Games, Scales and Suslin Cardinals, The Cabal Seminar, Volume I. Cambridge University Press, 2008.
Donald A. Martin and John R. Steel, The tree of a Moschovakis scale is homogeneous, Games, scales, and Suslin cardinals. The Cabal Seminar. Vol. I, Lect. Notes Log., vol. 31, Assoc. Symbol. Logic, Chicago, IL, 2008, pp. 404–420. MR 2463620, DOI 10.1017/CBO9780511546488.021
Yiannis N. Moschovakis, Uniformization in a playful universe, Bull. Amer. Math. Soc. 77 (1971), 731–736. MR 285390, DOI 10.1090/S0002-9904-1971-12789-1
Yiannis N. Moschovakis, Elementary induction on abstract structures, Studies in Logic and the Foundations of Mathematics, Vol. 77, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1974. MR 0398810
Y. N. Moschovakis. Inductive Scales on Inductive Sets. In A. S. Kechris, B. Löwe, and J. R. Steel., editors, Games, Scales, and Suslin Cardinals. The Cabal Seminar, Volume I, pages 94–101. The Association of Symbolic Logic, 2008.
Yiannis N. Moschovakis, Descriptive set theory, 2nd ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, Providence, RI, 2009. MR 2526093, DOI 10.1090/surv/155
Itay Neeman, The determinacy of long games, De Gruyter Series in Logic and its Applications, vol. 7, Walter de Gruyter GmbH & Co. KG, Berlin, 2004. MR 2111287, DOI 10.1515/9783110200065
Daniel Rodríguez and Nam Trang, $L({\Bbb R},\mu )$ is unique, Adv. Math. 324 (2018), 355–393. MR 3733890, DOI 10.1016/j.aim.2017.11.010
J. R. Steel, The Derived Model Theorem, unpublished.
J. R. Steel, Inner models with many Woodin cardinals, Ann. Pure Appl. Logic 65 (1993), no. 2, 185–209. MR 1257469, DOI 10.1016/0168-0072(93)90037-E
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
Nam Trang, Structure theory of $L(\Bbb {R},\mu )$ and its applications, J. Symb. Log. 80 (2015), no. 1, 29–55. MR 3320582, DOI 10.1017/jsl.2014.65
W. Hugh Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6587–6591. MR 959110, DOI 10.1073/pnas.85.18.6587