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
Maciej Głowacki, Mateusz Łełyk, “Reflecting on believability: on the epistemic approach to justifying implicit commitments”, Philos Stud, 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
L. D. Beklemishev, “Conservativity spectra and Joosten–Fernández model”, Dokl. Math., 106:1 (2022), 213–217
Mateusz Łełyk, Carlo Nicolai, “A theory of implicit commitment”, Synthese, 200:4 (2022)
David FernÁ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