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