The degrees of unsolvability: Global results

[1]  Anil Nerode,et al.  Second order logic and first order theories of reducibility orderings , 1980 .

[2]  Carl G. Jockusch,et al.  Fixed points of jump preserving automorphisms of degrees , 1977 .

[3]  A. Kechris,et al.  A Basis Result for Σ^0_3 Sets of Reals with an Application to Minimal Covers , 1975 .

[4]  Linda Jean Richter.  On automorphisms of the degrees that preserve jumps , 1979 .

[5]  C. E. M. Yates,et al.  Initial segments of the degrees of unsolvability Part II: minimal degrees , 1970, Journal of Symbolic Logic.

[6]  Patrick Suppes,et al.  Logic, Methodology and Philosophy of Science , 1963 .

[7]  Alonzo Church,et al.  Some theorems on definability and decidability , 1952, Journal of Symbolic Logic.

[8]  Robert I. Soare,et al.  Minimal covers and arithmetical sets , 1970 .

[9]  Richard Friedberg,et al.  A criterion for completeness of degrees of unsolvability , 1957, Journal of Symbolic Logic.

[10]  Yiannis N. Moschovakis,et al.  Uniformization in a playful universe , 1971 .

[11]  A. Selman.  Applications of forcing to the degree-theory of the arithmetical hierarchy , 1972 .

[12]  R A Shore.  The homogeneity conjecture. , 1979, Proceedings of the National Academy of Sciences of the United States of America.

[13]  H. Rogers,et al.  Some Problems of Definability in Recursive Function Theory , 1967 .

[14]  R. Epstein.  Degrees of Unsolvability: Structure and Theory , 1979 .

[15]  Richard A. Shore,et al.  On homogeneity and definability in the first-order theory of the Turing degrees , 1982, Journal of Symbolic Logic.

[16]  H. Keisler,et al.  The Kleene Symposium , 1980 .

[17]  C. Yates.  Initial segments and implications for the structure of degrees , 1972 .

[18]  L. Feiner,et al.  The strong homogeneity conjecture , 1970, Journal of Symbolic Logic.

[19]  Anil Nerode,et al.  Reducibility orderings: Theories, definability and automorphisms☆ , 1980 .

[20]  A. H. Lachlan.  Distributive Initial Segments of the Degrees of Unsolvability , 1968 .

[21]  R. Shore.  The Theory of the Degrees below 0 , 1981 .

[22]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[23]  Stephen G. Simpson,et al.  First-order theory of the degrees of recursive unsolvabilityl , 1977 .

[24]  J. W. Addison,et al.  Some consequences of the axiom of constructibility , 1959 .

[25]  A. Lachlan.  Initial Segments of Many-One Degrees , 1970, Canadian Journal of Mathematics.

[26]  C. Spector.  On Degrees of Recursive Unsolvability , 1956 .

[27]  Stephen G. Simpson,et al.  A degree-theoretic definition of the ramified analytical hierarchy , 1976 .

[28]  Alistair H. Lachlan.  Initial segments of one-one degrees , 1969 .

[29]  C. Jockusch.  An application of Σ40 determinacy to the degrees of unsolvability , 1973, Journal of Symbolic Logic.

[30]  Richard A. Shore,et al.  Definable degrees and automorphisms of $\mathcal {D}$ , 1981 .