8 citations to https://www.mathnet.ru/rus/apal4
-
Piotr Gruza, Mateusz Łełyk, “Varieties of truth definitions”, Arch. Math. Logic, 2024
-
Ali Enayat, “Indiscernibles and satisfaction classes in arithmetic”, Arch. Math. Logic, 2024
-
ANA DE ALMEIDA BORGES, JOOST J. JOOSTEN, “AN ESCAPE FROM VARDANYAN'S THEOREM”, J. symb. log., 88:4 (2023), 1613
-
MATEUSZ ZBIGNIEW ŁEŁYK, “MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE”, J. symb. log., 88:2 (2023), 738
-
Mateusz ŁeŁyk, Carlo Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023
-
Л. Д. Беклемишев, “Спектры консервативности и модель Йоостена–Фернандеса”, Докл. РАН. Матем., информ., проц. упр., 505 (2022), 5–10
; L. D. Beklemishev, “Conservativity spectra and Joosten–Fernández model”, Dokl. Math., 106:1 (2022), 213–217
-
Mateusz Łełyk, Carlo Nicolai, “A theory of implicit commitment”, Synthese, 200:4 (2022)
-
David FernÁndez-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann, “Arithmetical and Hyperarithmetical Worm Battles”, Journal of Logic and Computation, 32:8 (2022), 1558