4 citations to https://www.mathnet.ru/rus/jsl1
  1. Piotr Gruza, Mateusz Łełyk, “Varieties of truth definitions”, Arch. Math. Logic, 2024  crossref
  2. TAISHI KURAHASHI, ALBERT VISSER, “CERTIFIED $ \Sigma _1$ -SENTENCES”, J. symb. log., 2024, 1  crossref
  3. ALI ENAYAT, MATEUSZ ŁEŁYK, “AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW”, J. symb. log., 88:4 (2023), 1526  crossref
  4. Albert Visser, “The small‐is‐very‐small principle”, Mathematical Logic Qtrly, 65:4 (2019), 453  crossref