Access the full text.
Sign up today, get DeepDyve free for 14 days.
Jeanleah Mohrherr (1982)
Ph. D. Thesis
A. Nerode, R.A. Shore (1979)
The Kleene symposium
A. Lachlan (1968)
Distributive Initial Segments of the Degrees of UnsolvabilityMathematical Logic Quarterly, 14
A.H. Lachlan (1968)
Distributive initial segments of the degrees of unsolvabilityZ. math. Logik Grundlagen Math., 14
J. MacIntyre (1977)
Transfinite extensions of Friedberg's completeness criterionJournal of Symbolic Logic, 42
(1974)
Forcing in recursion theory
R.A. Shore (1982)
Logic Colloquium '80
P. Odifreddi (1983)
On the first order theory of the arithmetical degrees, 87
A. Nerode, R. Shore (1980)
Second order logic and first order theories of reducibility orderingsStudies in logic and the foundations of mathematics, 101
C. Yates (1970)
Initial segments of the degrees of unsolvability Part II: minimal degreesJournal of Symbolic Logic, 35
R. Shore (1982)
On homogeneity and definability in the first-order theory of the Turing degreesJournal of Symbolic Logic, 47
M. Lerman (1971)
Initial segments of the degrees of unsolvabilityAnnals of Mathematics, 93
R. Shore (1982)
The Turing and Truth-Table-Degrees are not Elementarily Equivalent*Studies in logic and the foundations of mathematics, 108
Archive for Mathematical Logic – Springer Journals
Published: Jul 13, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.