3 citations to https://www.mathnet.ru/rus/jlc6
  1. Albert Visser, “Essential hereditary undecidability”, Arch. Math. Logic, 2024  crossref
  2. Yong Cheng, “On the relationships between some meta-mathematical properties of arithmetical theories”, Logic Journal of the IGPL, 32:5 (2024), 880  crossref
  3. Yong Cheng, “There Are No Minimal Effectively Inseparable Theories”, Notre Dame J. Formal Logic, 64:4 (2023)  crossref