Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei Morozov, “Effective categoricity of Abelian p-groups”, Annals of Pure and Applied Logic, 159, no. 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, no. 2, 2024, 381
I. Sh. Kalimullin, “Uniform reducibility of representability problems for algebraic structures”, Sib Math J, 50, no. 2, 2009, 265
NOAM GREENBERG, ANTONIO MONTALBÁN, THEODORE A. SLAMAN, “RELATIVE TO ANY NON-HYPERARITHMETIC SET”, J. Math. Log., 13, no. 01, 2013, 1250007
N. A. Bazhenov, “Boolean Algebras with Distinguished Endomorphisms and Generating Trees”, J Math Sci, 215, no. 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, no. 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, no. 1, 2016, 50
D. A. Tusupov, “Isomorphisms, definable relations, and Scott families of class 2 nilpotent groups”, Algebr Logic, 46, no. 4, 2007, 281