Keywords
- Minimal Degree
- Initial Segment
- Recursive Function
- Recursive Partition
- Recursive Tree
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. B. Cooper [1973], Minimal degrees and the jump operator, J. Symb. Logic 38 (1973), 249–271.
R. L. Epstein [1975], Minimal degrees of unsolvability and the full approximation method, Memoirs AMS 162 (1975).
R. L. Epstein [1979], Degrees of unsolvability: Structure and theory, Lecture Notes 759, Springer (1979).
D. F. Hugill [1969], Initial segments of Turing degrees, Proc. London Math. Soc. 19 (1969), 1–16.
C. Jockusch [1969a], Relationships between reducibilities, Trans. AMS 142, (1969), 229–237.
C. Jockusch [1969b], The degrees of bi-immune sets, Zeit. Math. Logic. Grund. Math. 15 (1969), 135–140.
C. Jockusch [1972], Ramsey’s theorem and recursion theory, J. Symb. Logic 37 (1972), 268–280.
C. Jockusch [1977], Simple proofs of some theorems on high degrees, Can. J. Math. 29 (1977), 1072–1080.
C. Jockusch and M. S. Paterson [1976], Completely autoreducible degrees, Zeit. Math. Logic Grund. Math. 22 (1976), 571–575.
C. Jockusch and D. Posner [1978], Double jumps of minimal degrees, J. Symb. Logic 43 (1978), 715–724.
C. Jockusch and D. Posner [198?], Automorphism bases for the degrees of unsolvability, to appear.
C. Jockusch and S. Simpson [1975], A degree-theoretic definition of the ramified analytic hierarchy, Ann. of Math. Logic 10 (1975), 1–32.
C. Jockusch and R. Soare [1972a], Degrees of members of Π 01 classes, Pac. J. Math. 40 (1972), 605–616.
C. Jockusch and R. Soare [1972b], Π 01 classes and degrees of theories, Trans. AMS 173 (1972), 33–56.
S. C. Kleene and E. L. Post [1954], The upper-semilattice of degrees of recursive unsolvability, Ann. of Math. 59 (1954), 379–407.
A. H. Lachlan [1968], Distributive initial segments of the degrees of unsolvability, Zeit. Math. Logic. Grund. Math. 14 (1968), 457–472.
A. H. Lachlan [1971], Solution to a problem of Spector, Can. J. Math. 23 (1971), 247–256.
A. H. Lachlan and R. Lebeuf [1976], Countable initial segments of the degrees of unsolvability, J. Symb. Logic 41 (1976), 289–300.
R. Ladner [1973], A completely mitotic non recursive r.e. set, Trans. AMS 184 (1973), 479–507.
M. Lerman [1969], Some non distributive lattices as initial segments of the degrees of unsolvability, J. Symb. Logic 34 (1969), 85–98.
M. Lerman [1971], Initial segments of the degrees of unsolvability, Ann. of Math. 93 (1971), 365–389.
A. B. Manaster [1971], Some contrasts between degrees and the arithmetical hierarchy, J. Symb. Logic 36 (1971), 301–304.
D. A. Martin and W. Miller [1968], The degrees of hyperimmune sets, Zeit. Math. Logic Grund. Math. 14 (1968), 159–166.
A. Nerode and R. A. Shore [198?], Second order logic and first order theories of reducibility orderings, to appear.
P. G. Odifreddi [198?], Classical recursion theory, to appear.
D. Posner and R. Epstein [1978], Diagonalization in degree constructions, J. Symb. Logic 43 (1978), 280–283.
E. L. Post [1944], Recursively enumerable sets of positive integers and their decision problems, Bull. AMS 50 (1944), 284–316.
H. Rogers, Jr. [1967], The theory of recursive functions and effective computability, McGraw-Hill, 1967.
G. E. Sacks [1961], A minimal degree less than O’, Bull. AMS 67 (1961), 416–419.
G. E. Sacks [1963], Degrees of unsolvability, Ann. Math. Studies n.55, Princeton, 1963.
G. E. Sacks [1971], Forcing with perfect closed sets, Proc. Symp. Pure Math. 13 (1971), 331–355.
L. Sasso [1970], A cornucopia of minimal degrees, J. Symb. Logic. 35 (1970), 383–388.
L. Sasso [1974], A minimal degree not realizing the least possible jump, J. Symb. Logic 39 (1974), 571–573.
J. R. Shoenfield [1966], A theorem on minimal degrees, J. Symb. Logic 31 (1966), 539–544.
E. Specker [1971], Ramsey’s theorem does not hold in recursive set theory, Logic Colloquium ’69, North Holland 1971, 439–442.
C. Spector [1956], On degrees of recursive unsolvability, Ann. of Math. 65 (1956), 581–592.
D. Titgemeyer [1965], Untersuchungen über die struktur des Kleene-Postchen Halbverbandes der Grade der rekursiven Unlösbarkeit, Arch. Math. Logic Grund. 8 (1965), 45–62.
Trathenbrot [1970], On autoreducibility, Sov. Math. Dokl. 11 (1970), 814–817.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Odifreddi, P. (1981). Trees and degrees. In: Kechris, A.S., Martin, D.A., Moschovakis, Y.N. (eds) Cabal Seminar 77 – 79. Lecture Notes in Mathematics, vol 839. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090244
Download citation
DOI: https://doi.org/10.1007/BFb0090244
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10288-5
Online ISBN: 978-3-540-38422-9
eBook Packages: Springer Book Archive
