Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama, “Ramsey's theorem for pairs, collection, and proof size”, J. Math. Log., 24:02 (2024)
Luca Castaldo, Maciej Głowacki, “Implicit commitments of instrumental acceptance: A case study”, The Philosophical Quarterly, 2024
Maciej Głowacki, Mateusz Łełyk, “Reflecting on believability: on the epistemic approach to justifying implicit commitments”, Philos Stud, 2024
ALI ENAYAT, MATEUSZ ŁEŁYK, “AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW”, J. symb. log., 88:4 (2023), 1526
Mateusz ŁeŁyk, Carlo Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023
James Walsh, “Evitable iterates of the consistency operator”, COM, 12:1 (2023), 59
Paulo Guilherme Santos, Wilfried Sieg, Reinhard Kahle, “A new perspective on completeness and finitist consistency”, Journal of Logic and Computation, 2023
James Walsh, “Characterizations of ordinal analysis”, Annals of Pure and Applied Logic, 174:4 (2023), 103230
MATEUSZ ZBIGNIEW ŁEŁYK, “MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE”, J. symb. log., 88:2 (2023), 738
LESZEK ALEKSANDER KOŁODZIEJCZYK, KATARZYNA W. KOWALIK, KEITA YOKOYAMA, “HOW STRONG IS RAMSEY'S THEOREM IF INFINITY CAN BE WEAK?”, J. symb. log., 88:2 (2023), 620