3 citations to https://www.mathnet.ru/eng/jsl2
-
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