3 citations to https://www.mathnet.ru/eng/blms5
  1. 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  crossref
  2. Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama, “Ramsey's theorem for pairs, collection, and proof size”, J. Math. Log., 24:02 (2024)  crossref
  3. J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020–11  mathnet  crossref