2 citations to https://www.mathnet.ru/rus/jlc6
  1. Albert Visser, “Essential hereditary undecidability”, Arch. Math. Logic, 2024  crossref
  2. Yong Cheng, “There Are No Minimal Effectively Inseparable Theories”, Notre Dame J. Formal Logic, 64:4 (2023)  crossref