Abraham, U. and Shore, R. A. [1986], Initial segments of the degrees of size ℵ_{1}
, Israel Journal of Mathematics, vol. 53, pp. 1–51.

Abraham, U. and Shore, R. A. [1986a], The degrees of constructibility below a Cohen real, Journal of the London Mathematical Society, vol. 53, no. 3, pp. 193–208.

Adamowicz, A. [1976], On finite lattices of degrees of constructibility, this Journal, vol. 41, pp. 313–322.

Adamowicz, A. [1977], Constructible semi-lattices of degrees of constructibility, Set theory and hierarchy theory V (Lachlan, , Srebny, , and Zarach, , editors), Lecture Notes in Mathematics, vol. 619, Springer-Verlag, Berlin.

Balcar, B. and Hajek, P. [1978], On sequences of degrees of constructibility, Zeitschriftfur Mathematische Logik und Grundlagen der Mathematik, vol. 24, pp. 291–296.

Cohen, P. [1966], Set theory and the continuum hypothesis, Benjamin, New York.

Dorais, F. [2007], Souslin trees and degrees of constructibility, Ph.D. thesis, Dartmouth College.

Farrington, P. [1983], Hinges and automorphisms of the degrees of constructibility, Journal of the London Mathematical Society, vol. 28, no. 2, pp. 193–202.

Farrington, P. [1984], First order theory of the c-degrees, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 30, pp. 437–446.

Feferman, S. [1965], Some applications of the notion of forcing and generic sets, Fundamenta Mathematical vol. 56, pp. 325–345.

Gandy, R. O. and Sacks, G. E. [1967], A minimal hyperdegree, Fundamenta Mathematicae, vol. 61, pp. 215–223.

Grätzer, G. [2003], General lattice theory, 2nd ed., Birkhäuser Verlag, Basel.

Groszek, M. S. and Shore, R. A. [1988], Initial segments of the degrees of constructibility, Israel Journal of Mathematics, vol. 63, pp. 149–177.

Groszek, M. S. and Slaman, T. A. [1983], Independence results on the global structure of the Turing degrees, Transactions of the American Mathematical Society, vol. 277, pp. 579–588.

Hodges, W. [1993], Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, England.

Jónsson, B. [1953], On the representations of lattices, Mathematica Scandinavica, vol. 1, pp. 193–206.

Kjos-Hanssen, B. [2002], Lattice initial segments of the Turing degrees, Ph.D. thesis, University of California, Berkeley.

Kjos-Hanssen, B. [2003], Local initial segments of the Turing degrees, The Bulletin of Symbolic Logic, vol. 9, pp. 26–36.

Kleene, S. C. and Post, E. L. [1954], The upper semi-lattice of degrees of recursive unsolvability, Annals of Mathematics, vol. 59, no. 2, pp. 379–407.

Lachlan, A. H. [1968], Distributive initial segments of the degrees of unsolvability, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 14, pp. 457–472.

Lachlan, A. H. and Lebeuf, R. [1976], Countable initial segments of the degrees of unsolvability, this Journal, vol. 41, pp. 289–300.

Lerman, M. [1971], Initial segments of the degrees of unsolvability, Annals of Mathematics, vol. 93, pp. 365–389.

Lerman, M. [1983], Degrees of unsolvability, Perspectives in Mathematical Logic, Springer-Verlag, Berlin.

Lubarsky, R. [1987], Lattices of c-degrees, Annals of Pure and Applied Logic, vol. 36, pp. 115–118.

Miller, R. G., Nies, A. O., and Shore, R. A. [2004], The ∀∃-theory of (≤, ∨, ∧) is undecidable, Transactions of the American Mathematical Society, vol. 356, pp. 3025–3067.
Nerode, A. and Shore, R. A. [1980], Second order logic and first order theories of reducibility orderings, The Kleene symposium (Barwise, J., Keisler, H. J., and Kunen, K., editors), North-Holland, Amsterdam, pp. 181–200.

Odifreddi, P. [1983], Forcing and reducibilities, this Journal, vol. 48, pp. 288–310.

Odifreddi, P. [1983a], Forcing and reducibilities IT. forcing in fragments of analysis, this Journal, vol. 48, pp. 724–743.

Sacks, G. E. [1963], Degrees of unsolvability, Annals of Mathematics Studies, vol. 55, Princeton University Press, Princeton, New Jersey.

Sacks, G. E. [1971], Forcing with perfect closed sets, in axiomatic set theory, Proceedings of the symposium on pure mathematics, vol. XII, Part 1, American Mathematical Society, Providence, Rhode Island.

Sacks, G. E. [1972], Review of Thomason 1970, Mathematical Reviews, issue 2, MR0288027 (44 #5225).

Sacks, G. E. [1990], Higher recursion theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin.

Selivanov, V. L. [1988], Algorithmic complexity of algebraic systems, Matematicheskie Zametki, vol. 44, pp. 823–832 and 863, translation in *
***Mathematical Notes**
, vol. 44 (1989), pp. 944–950.

Shore, R. A. [1978], On the VB-sentences of a-recursion theory, Generalized recursion theory II (Fenstad, J. E., Gandy, R. O., and Sacks, G. E., editors), Studies in Logic and the Foundations of Mathematics, vol. 94, North-Holland, Amsterdam, pp. 331–354.

Shore, R. A. [1981], The theory ofthe degrees below 0′, Journal of the London Mathematical Society, vol. 24, no. 3, pp. 1–14.

Shore, R. A. [2007], Local definitions in degree structures: the Turing jump, hyperdegrees and beyond, The Bulletin of Symbolic Logic, vol. 13, pp. 226–239.

Shore, R. A. [2008], Rigidity and biinterpretability in the hyperdegrees, Computational prospects of infinity, Part II: Presented talks (Chong, C. T., Qi, F., and Yang, Y., editors), Lecture Notes Series, vol. 15, World Scientific Publishing Co., Institute for Mathematical Sciences, National University of Singapore, Singapore.

Simpson, M. F. [1985], Arithmetic degrees: Initial segments, ω-REA operators and the ω-jump, Ph.D. thesis, Cornell University.

Spector, C. [1956], On degrees of recursive unsohability, Annals of Mathematics (2), vol. 64, pp. 581–592.

Thomason, S. K. [1967], The forcing method and the upper semilattice of hyperdegrees, Transactions of the American Mathematical Society, vol. 129, pp. 38–57.

Thomason, S. K. [1969], A note on non-distributive sublattices of degrees and hyperdegrees, Canadian Journal of Mathematics, vol. 21, pp. 147–148.

Thomason, S. K. [1970], On initial segments of hyperdegrees, this Journal, vol. 35, pp. 189–197.