Undecidability and Initial Segments of the R.E. tt-Degrees

Christine Ann Haught, Richard A. Shore. Undecidability and Initial Segments of the R.E. tt-Degrees. Journal of Symbolic Logic, 55(3):987-1006, 1990.

Abstract

Abstract is missing.