1. C. Ash and J. Knight, Computable Structures and the Hyperarithmetical Hierarchy, vol. 144 of Studies in Logic and the Foundations of Mathematics (Elsevier, Amsterdam, 2000).
2. C. Ash, J. Knight, M. Manasse, and T. Slaman, “Generic copies of countable structures,” Ann. Pure Appl. Logic 42(3), 195–205 (1989).
3. I. Bucur and A. Deleanu, Introduction to the Theory of Categories and Functors, With the collaboration of Peter J. Hilton and Nicolae Popescu. Pure and Applied Mathematics, Vol. XIX (Interscience Publication John Wiley & Sons, Ltd., London-New York-Sydney, 1968).
4. J. Chisholm, “Effective model theory versus recursive model theory,” J. Symbolic Logic 55(3), 1168–1191 (1990).
5. Yu. L. Ershov and S. S. Goncharov, Constructive Models (Plenum, New York, 2000).