- Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei Morozov, “Effective categoricity of Abelian p-groups”, Annals of Pure and Applied Logic, 159, № 1-2, 2009, 187
- Stefan Vatev, 7921, The Nature of Computation. Logic, Algorithms, Applications, 2013, 414
- M. Kh. Faizrahmanov, “A Family with a Single Minimal but Not Least Numbering”, Sib Math J, 65, № 2, 2024, 381
- I. Sh. Kalimullin, “Uniform reducibility of representability problems for algebraic structures”, Sib Math J, 50, № 2, 2009, 265
- NOAM GREENBERG, ANTONIO MONTALBÁN, THEODORE A. SLAMAN, “RELATIVE TO ANY NON-HYPERARITHMETIC SET”, J. Math. Log., 13, № 01, 2013, 1250007
- N. A. Bazhenov, “Boolean Algebras with Distinguished Endomorphisms and Generating Trees”, J Math Sci, 215, № 4, 2016, 460
- John Chisholm, Ekaterina B. Fokina, Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn, “Intrinsic bounds on complexity and definability at limit levels”, J. symb. log., 74, № 3, 2009, 1047
- Antonio Montalbán, Computable Structure Theory, 2021
- D. A. Tussupov, “Isomorphisms and Algorithmic Properties of Structures with Two Equivalences”, Algebra Logic, 55, № 1, 2016, 50
- D. A. Tusupov, “Isomorphisms, definable relations, and Scott families of class 2 nilpotent groups”, Algebr Logic, 46, № 4, 2007, 281