2 citations to https://www.mathnet.ru/eng/dan45121
  1. A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Proc. Steklov Inst. Math., 242 (2003), 92–96  mathnet  mathscinet  zmath
  2. A. A. Tverskoi, “Nonconstructivizable formal arithmetic structures”, Math. USSR-Izv., 30:1 (1988), 103–122  mathnet  crossref  mathscinet  zmath