Geodesic
$\textsf {AD}^{+}$ implies $ \omega _{1}$ is a club $ \Theta $-Berkeley cardinal
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e126

Voir la notice de l'article provenant de la source Cambridge University Press

Following [1], given cardinals $\kappa <\lambda $, we say $\kappa $ is a club $\lambda $-Berkeley cardinal if for every transitive set N of size $<\lambda $ such that $\kappa \subseteq N$, there is a club $C\subseteq \kappa $ with the property that for every $\eta \in C$, there is an elementary embedding $j: N\rightarrow N$ with $\mathrm {crit }(j)=\eta $. We say $\kappa $ is $\nu $-club $\lambda $-Berkeley if $C\subseteq \kappa $ as above is a $\nu $-club. We say $\kappa $ is $\lambda $-Berkeley if C is unbounded in $\kappa $. We show that under $\textsf {AD}^{+}$, (1) every regular Suslin cardinal is $\omega $-club $\Theta $-Berkeley (see Theorem 7.1), (2) $\omega _1$ is club $\Theta $-Berkeley (see Theorem 3.1 and Theorem 7.1), and (3) the ’s are $\Theta $-Berkeley – in particular, $\omega _2$ is $\Theta $-Berkeley (see Remark 7.5).Along the way, we represent regular Suslin cardinals in direct limits as cutpoint cardinals (see Theorem 5.1). This topic has been studied in [31] and [4], albeit from a different point of view. We also show that, assuming $V=L({\mathbb {R}})+{\textsf {AD}}$, $\omega _1$ is not $\Theta ^+$-Berkeley, so the result stated in the title is optimal (see Theorem 9.14 and Theorem 9.19). 
Blue, Douglas; Sargsyan, Grigor. $\textsf {AD}^{+}$ implies $ \omega _{1}$ is a club $ \Theta $-Berkeley cardinal. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e126. doi: 10.1017/fms.2025.10082
@article{10_1017_fms_2025_10082,
     author = {Blue, Douglas and Sargsyan, Grigor},
     title = {$\textsf {AD}^{+}$ implies $ \omega _{1}$ is a club $ \Theta ${-Berkeley} cardinal},
     journal = {Forum of Mathematics, Sigma},
     pages = {e126},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.10082},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10082/}
}
TY  - JOUR
AU  - Blue, Douglas
AU  - Sargsyan, Grigor
TI  - $\textsf {AD}^{+}$ implies $ \omega _{1}$ is a club $ \Theta $-Berkeley cardinal
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e126
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10082/
DO  - 10.1017/fms.2025.10082
ID  - 10_1017_fms_2025_10082
ER  - 
%0 Journal Article
%A Blue, Douglas
%A Sargsyan, Grigor
%T $\textsf {AD}^{+}$ implies $ \omega _{1}$ is a club $ \Theta $-Berkeley cardinal
%J Forum of Mathematics, Sigma
%D 2025
%P e126
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10082/
%R 10.1017/fms.2025.10082
%F 10_1017_fms_2025_10082

[1] Bagaria, J., Koellner, P. and Woodin, W. H., ‘Large cardinals beyond choice’, Bull. Symb. Log. 25(3) (2019), 283–318. http://doi.org/10.1017/bsl.2019.28 Google Scholar | DOI

[2] Blue, D., Larson, P. and Sargsyan, G., ‘Nairian models’, Preprint, 2025, . Google Scholar | arXiv

[3] Jackson, S., ‘Structural consequences of AD’, in Handbook of Set Theory (Springer, 2010), 1753–1876. http://doi.org/10.1007/978-1-4020-5764-9_22 Google Scholar | DOI

[4] Jackson, S., Sargsyan, G. and Steel, J., ‘Suslin cardinals and cutpoints in mouse limits’, Preprint, 2022, . Google Scholar | arXiv

[5] Jensen, R. B., Schimmerling, E., Schindler, R. and Steel, J. R., ‘Stacking mice,’ J. Symb. Log. 74(1) (2009), 315–335. http://doi.org/10.2178/jsl/1231082314 Google Scholar | DOI

[6] Jensen, R. B. and Steel, J. R., ‘K without the measurable’, J. Symb. Log. 78(3) (2013), 708–734. http://doi.org/10.2178/jsl.7803020 Google Scholar

[7] Kanamori, A., The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. (Springer Monographs in Mathematics) second edn. (2009). https://doi.org/10.1007/978-3-540-88867-3 Google Scholar | DOI

[8] Koellner, P. and Woodin, W. H., ‘Large cardinals from determinacy,’ in Handbook of Set Theory (Springer, Dordrecht, 2010), 1951–2119. http://doi.org/10.1007/978-1-4020-5764-9_24 Google Scholar | DOI

[9] Kunen, K., ‘Elementary embeddings and infinitary combinatorics,’ J. Symb. Log. 36(3) (1971), 407–413. http://doi.org/10.2307/2269948 Google Scholar | DOI

[10] Larson, P. B., Extensions of the Axiom of Determinacy (University Lecture Series) vol. 78. (American Mathematical Society, 2023). http://doi.org/10.1090/amsip/078 Google Scholar | DOI

[11] Moschovakis, Y. N., Descriptive Set Theory (Mathematical Surveys and Monographs) vol. 155, second edn. (American Mathematical Society, 2009). http://doi.org/10.1090/surv/155 Google Scholar | DOI

[12] Sargsyan, G., ‘On the prewellorderings associated with the directed systems of mice,’ J. Symb. Log. 78(3) (2013), 735–763. http://doi.org/10.2178/jsl.7803030 Google Scholar | DOI

[13] Sargsyan, G., ‘Hod mice and the mouse set conjecture,’ Memoirs of the Amer. Math. Soc. 236(1111) (2015). http://doi.org/10.1090/memo/1111 Google Scholar | DOI

[14] Sargsyan, G., ‘ implies that all sets of reals are universally Baire,’ Arch. Math. Logic 60(1–2) (2021), 1–15. http://doi.org/10.1007/s00153-020-00731-w Google Scholar | DOI

[15] Sargsyan, G., ‘Negative results on precipitous ideals on ,’ J. Symb. Log. 88(2) (2023), 490–509. http://doi.org/10.1017/jsl.2022.70 Google Scholar | DOI

[16] Sargsyan, G. and Schindler, R., ‘Varsovian models I,’ J. Symb. Log. 83(2) (2018), 496–528. http://doi.org/10.1017/jsl.2018.5 Google Scholar | DOI

[17] Sargsyan, G. and Steel, J., ‘The mouse set conjecture for sets of reals,’ J. Symb. Log. 80(2) (2015), 671–683. http://doi.org/10.1017/jsl.2014.78 Google Scholar | DOI

[18] Schlutzenberg, F.,’ The definability of in self-iterable mice,’ Ann. Pure Appl. Logic 174(2) (2023), 59. http://doi.org/10.1016/j.apal.2022.103208 Google Scholar | DOI

[19] Schlutzenberg, F., ‘Full normalization for transfinite stacks,’ Preprint, 2021, .10.1142/S0219061321500082 Google Scholar | arXiv | DOI

[20] Schlutzenberg, F. and Trang, N. D.. ‘Scales in hybrid mice over ,’ submitted manuscript, 2016, . Google Scholar | arXiv

[21] Siskind, B. and Steel, J., ‘Full normalization for mouse pairs,’ Preprint, 2022, . Google Scholar | arXiv

[22] Steel, J. R., ‘Scales in ,’ in Games, Scales and Suslin Cardinals: The Cabal Seminar, Vol. I (Cambridge, Cambridge University Press, 2008), 176–208. http://doi.org/10.1017/CBO9780511546488.011 Google Scholar | DOI

[23] Steel, J. R., The Core Model Iterability Problem (Lecture Notes in Logic) vol. 8 (Springer-Verlag, 1996). https://doi.org/10.1017/9781316716892 Google Scholar | DOI

[24] Steel, J. R., ‘A theorem of Woodin on mouse sets,’ unpublished manuscript, 2004. Available at: http://math.berkeley.edu/~steel/. Google Scholar

[25] Steel, J. R., ‘PFA implies ’, J. Symb. Log. 70(4) (2005), 1255–1296. http://doi.org/10.2178/jsl/1129642125 Google Scholar

[26] Steel, J. R., ‘A stationary-tower-free proof of the derived model theorem’, in Advances in Logic (Contemp. Math.) vol. 425 (Amer. Math. Soc., 2007), 1–8. Google Scholar | DOI

[27] J. R. Steel, ‘Derived models associated to mice’, in C.-T. Chong, Q. Feng, T. A. Slaman, W. H. Woodin and Y. Yang (eds.), Computational Prospects of Infinity – Part I: Tutorials, vol. 14 (World Scientific, 2008), 105–193. https://doi.org/10.1142/9789812794055_0003 Google Scholar | DOI

[28] Steel, J. R., ‘Scales in ’, in Games, Scales and Suslin Cardinals: The Cabal Seminar, Vol. I (Cambridge, Cambridge University Press, 2008), 176–208. http://doi.org/10.1017/CBO9780511546488.011 Google Scholar | DOI

[29] Steel, J. R., ‘The derived model theorem’, in Cooper, S. B., Geuvers, H., Pillay, A. and Väänänen, J. (eds.), Logic Colloquium 2006 (Cambridge, Cambridge University Press, 2009), 280–327. http://doi.org/10.1017/CBO9780511605321.014 Google Scholar | DOI

[30] Steel, J. R., ‘An outline of inner model theory’, in Foreman, M. and Kanamori, A. (eds.), Handbook of Set Theory (Springer, 2010), 1595–1684. http://doi.org/10.1007/978-1-4020-5764-9_20 Google Scholar | DOI

[31] Steel, J. R., ‘Mouse pairs and Suslin cardinals’, in Higher Recursion Theory and Set Theory (World Scientific, 2025), 251–325. http://doi.org/10.1142/9789819806584_0013 Google Scholar | DOI

[32] Steel, J. R., A Comparison Process for Mouse Pairs (Lect. Notes Log.) vol. 51 (Cambridge, Cambridge University Press, 2023). https://doi.org/10.1017/9781108886840 Google Scholar

[33] Steel, J. R. and Woodin, W. H., ‘HOD as a core model’, in Ordinal Definability and Recursion Theory: The Cabal Seminar, Vol. III (Cambridge, Cambridge University Press, 2016), 257–345. http://doi.org/10.1017/CBO9781139519694.010 Google Scholar | DOI

[34] Trang, N. D., ‘ in natural models of ’, Ann. Pure Appl. Log. 165(10) (2014), 1533–1556. http://doi.org/10.1016/j.apal.2014.04.006 Google Scholar

[35] Wilson, T. M., ‘The envelope of a pointclass under a local determinacy hypothesis’, Ann. Pure Appl. Logic 166(10) (2015), 991–1018. http://doi.org/10.1016/j.apal.2015.05.003 Google Scholar

[36] Wilson, T. M., ‘Scales on sets’, Math. Res. Lett. 22(1) (2015), 301–316. http://doi.org/10.4310/MRL.2015.v22.n1.a15 Google Scholar | DOI

Cité par Sources :