This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
 Uri Abraham and Richard A. Shore , Initial segments of the degrees of size ℵ1, Israel journal of Mathematics, vol. 53 (1986), no. 1, pp. 1–51.
 Jon Barwise , Admissible Sets and Structures, Springer-Verlag, Berlin, 1975.
 Keith J. Devlin , Constructibility, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1984.
 Fons van Engelen , Arnold W. Miller , and John Steel , Rigid Borel sets and better quasiorder theory, Logic and Combinatorics (Areata, California, 1985), Contemporary Mathematics, vol. 65, American Mathematical Society, Providence, RI, 1987, pp. 199–222.
 R. B. Jensen , The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229–308, erratum, ibid. 4 (1972), 443.
 Manuel Lerman , Degrees of Unsolvability, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1983, Local and global theory.
 D. A. Martin , Borel determinacy. Annals of Mathematics (2), vol. 102 (1975), no. 2, pp. 363–371.
 D. A. Martin and R. M. Solovay , Internal Cohen extensions, Annals of Mathematical Logic, vol. 2 (1970), no. 2, pp. 143–178.
 Arnold W. Miller , Infinite combinatorics and definability, Annals of Pure and Applied Logic, vol. 41 (1989), no. 2, pp. 179–203.
 Gerald E. Sacks , Higher Recursion Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1990.
 Stephen G. Simpson , Minimal covers and hyperdegrees, Transactions of the American Mathematical Society, vol. 209 (1975), pp. 45–64.
 Robert M. Solovay , A model of set-theory in which every set of reals is Lebesgue measurable. Annals of Mathematics (2), vol. 92 (1970), pp. 1–56.