1. C. J. Ash and J. F. Knight, Computable Structures and the Hyperarithmetical Hierarchy (Elsevier, 2000).
2. K. J. Barwise, in The Syntax and Semantics of Infinitary Languages (Springer-Verlag, 1968), p. 1.
3. H. Becker, Isomorphism of computable structures and Vaught’s Conjecture, preprint.
4. W. Boone, Proc. Natl. Acad. Sci., U.S.A. 44, 1061–1065 (1958).
5. W. Calvert, D. Cummins, J. F. Knight, S. Miller, Algebra and Logic 43, 666 (2004).