3 citations to https://www.mathnet.ru/eng/blms5
-
Uri Andrews, David Gonzalez, Steffen Lempp, Dino Rossegger, Hongyu Zhu, “The Borel complexity of the class of models of first-order theories”, Proc. Amer. Math. Soc., 2025
-
Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama, “Ramsey's theorem for pairs, collection, and proof size”, J. Math. Log., 24:02 (2024)
-
J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020–11