L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Izv. RAN. Ser. matem., 89:1 (2025), 3–17
L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Izv. Math., 89:1 (2025), 1–14
EVGENY A. KOLMAKOV, “ON SHAVRUKOV'S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS”, The Review of Symbolic Logic, 17:1 (2024), 206
RASMUS BLANCK, “HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC”, The Review of Symbolic Logic, 14:3 (2021), 624
Evgeny Kolmakov, “Local reflection, definable elements and 1-provability”, Arch. Math. Logic, 59 (2020), 979–996