AMS :: Proceedings of the American Mathematical Society

Boundedness theorems for flowers and sharps
HTML articles powered by AMS MathViewer

by J. P. Aguilera, A. Freund, M. Rathjen and A. Weiermann

Proc. Amer. Math. Soc. 150 (2022), 3973-3988

DOI: https://doi.org/10.1090/proc/15859

Published electronically: June 10, 2022

PDF

Abstract:

We show that the $\Sigma ^1_1$- and $\Sigma ^1_2$-boundedness theorems extend to the category of continuous dilators. We then apply these results to conclude the corresponding theorems for the category of sharps of real numbers, thus establishing another connection between Proof Theory and Set Theory, and extending work of Girard-Normann [J. Symbolic Logic 57 (1992), pp. 659–676] and Kechris-Woodin [Ann. Pure Appl. Logic 52 (1991), pp. 93–97].

References

P. Aczel. Mathematical Problems in Logic. 1966. PhD Thesis, Oxford.
J. P. Aguilera, Countable ordinals in indiscernibility spectra, Fund. Math., to appear.
Toshiyasu Arai, Proof theory of weak compactness, J. Math. Log. 13 (2013), no. 1, 1350003, 26. MR 3065120, DOI 10.1142/S0219061313500037
Toshiyasu Arai, Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory, J. Symb. Log. 79 (2014), no. 2, 325–354. MR 3224972, DOI 10.1017/jsl.2014.6
Keith J. Devlin, Constructibility, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1984. MR 750828, DOI 10.1007/978-3-662-21723-8
Anton Freund and Michael Rathjen, Derivatives of normal functions in reverse mathematics, Ann. Pure Appl. Logic 172 (2021), no. 2, Paper No. 102890, 49. MR 4162311, DOI 10.1016/j.apal.2020.102890
Jean-Yves Girard, $\Pi ^{1}_{2}$-logic. I. Dilators, Ann. Math. Logic 21 (1981), no. 2-3, 75–219 (1982). MR 656793, DOI 10.1016/0003-4843(81)90016-4
Jean-Yves Girard and Dag Normann, Embeddability of ptykes, J. Symbolic Logic 57 (1992), no. 2, 659–676. MR 1169200, DOI 10.2307/2275298
Jean-Yves Girard and Jean-Pierre Ressayre, Eléments de logique $\Pi ^1_n$, Recursion theory (Ithaca, N.Y., 1982) Proc. Sympos. Pure Math., vol. 42, Amer. Math. Soc., Providence, RI, 1985, pp. 389–445 (French). MR 791069, DOI 10.1090/pspum/042/791069
Greg Hjorth, The size of the ordinal $u_2$, J. London Math. Soc. (2) 52 (1995), no. 3, 417–433. MR 1363810, DOI 10.1112/jlms/52.3.417
Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
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, Boundedness theorems for dilators and ptykes, Ann. Pure Appl. Logic 52 (1991), no. 1-2, 79–92. International Symposium on Mathematical Logic and its Applications (Nagoya, 1988). MR 1104055, DOI 10.1016/0168-0072(91)90040-S
A. S. Kechris and W. H. Woodin, A strong boundedness theorem for dilators, Ann. Pure Appl. Logic 52 (1991), no. 1-2, 93–97. International Symposium on Mathematical Logic and its Applications (Nagoya, 1988). MR 1104056, DOI 10.1016/0168-0072(91)90041-J
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
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
Jack H. Silver, Some applications of model theory in set theory, Ann. Math. Logic 3 (1971), no. 1, 45–110. MR 409188, DOI 10.1016/0003-4843(71)90010-6
Robert M. Solovay, A nonconstructible $\Delta _3^1$ set of integers, Trans. Amer. Math. Soc. 127 (1967), 50–75. MR 211873, DOI 10.1090/S0002-9947-1967-0211873-5