1. Yu. L. Ershov, Definability and
Computability (Nauchnaya Kniga, Novosibirsk, 1996; Consultants Bureau, New York,
1996).
2. Yu. L. Ershov, V. G. Puzarenko, and A. I. Stukachev, “HF-computability,” in
Computability in Context. Computation and Logic in the Real
World, 169 (Imperial College Press, London, 2011).
3. L. Fuchs, Infinite Abelian Groups.
Vol. I (Academic Press, New York–London, 1970).
4. I. Sh. Kalimullin and V. G. Puzarenko, “On principles of computability on
admissible sets,” Mat. Trudy 7, 35 (2004) [Siberian Adv.
Math. 15, 1 (2004)].
5. A. N. Khisamiev, “On the Ershov upper semilattice $$\mathfrak {L}_E
$$,” Sib. Matem. Zh. 45, 211 (2004) [Siberian Math. J. 45, 173 (2004)].