The Continuity of Cupping to 0 (1993)

Cached

Download Links

by Klaus Ambos-spies , Alistair H. Lachlan , Robert I. Soare
Venue:Annals of Pure and Applied Logic
Citations:2 - 0 self

Documents Related by Co-Citation

3 Contributions to Recursion Theory – D Seetapun - 1991
7 Soare, Games in recursion theory and continuity properties of capping degrees, in: Set Theory and the – L Harrington, R I - 1989
4 Decidability Of The Two-Quantifier Theory Of The Recursively Enumerable Weak Truth-Table Degrees And Other Distributive Upper Semi-Lattices – Klaus Ambos-spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman - 1996
1 Cooper and Angsheng Li, On Lachlan’s major subdegree problem – S Barry
1 The undecidability of the Π4-theory for the r.e. wtt- and Turing degrees, with – Andre Nies, Steffen Lempp - 1995
4 The Π3-theory of the enumerable Turing degrees is undecidable – S Lempp, A Nies, T A Slaman - 1998
13 Soare, Computability Theory and Applications – R I
475 Recursively Enumerable Sets and Degrees – R Soare - 1987
11 recursively enumerable degrees and the anti-cupping property – D Miller, High - 1981
9 Bounding minimal pairs – A H Lachlan - 1979
2 On a theorem of C.E.M. Yates, handwritten notes – S B Cooper - 1974
2 Splitting and Nonsplitting, II: A Low_2 C.E. Degree Above Which 0' Is Not Splittable – S. Barry Cooper, Angsheng Li - 2001
1 Continuity Properties of Degree Structures – M B Giorgi - 2001
1 On Cooper’s proof of a theorem of Yates, Part I, (handwritten notes – L Harrington - 1976
1 Defeating Red, (handwritten notes – D Seetapun - 1992
1 Soare, Algebraic aspects of the recursively enumerable degrees – T A Slaman, R I - 1995
10 1965], An application of model theory to degrees of unsolvability – J R Shoenfield
27 Interpolation and embedding in the recursively enumerable degrees – R W ROBINSON - 1971
26 A recursively enumerable degree which will not split over all lesser ones – A H Lachlan - 1975