Bartosz Wcisło, “Full Satisfaction Classes, Definability, and Automorphisms”, Notre Dame J. Formal Logic, 63:2 (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
Kentaro Fujimoto, “The Function of Truth and the Conservativeness Argument”, Mind, 131:521 (2022), 129
ROMAN KOSSAK, BARTOSZ WCISŁO, “DISJUNCTIONS WITH STOPPING CONDITIONS”, Bull. symb. log, 27:3 (2021), 231
Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384