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

Active Bibliography

1 Dynamic Properties of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
10 Codable Sets and Orbits of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
Structural Properties of D.C.E. Degrees and Presentations of C.E. Reals – Guohua Wu
1 Extension of embeddings in the recursively enumerable degrees – Theodore A. Slaman, Robert I. Soare
2 On Lachlan's major subdegree problem, to – S. Barry Cooper, Leeds Ls Jt, Angsheng Li - 1989
6 Extension of Embeddings in the Computably Enumerable Degrees – Theodore A. Slaman, Robert I. Soare
13 The ∆ 0 3-Automorphism Method and Noninvariant Classes of Degrees – Leo Harrington, Robert I. Soare - 1996
Definable properties of the computably enumerable sets – Leo Harrington, Robert I. Soare - 1996
2 The settling-time reducibility ordering – Barbara F. Csima, Richard, A. Shore
Π 0 1 Classes, Peano Arithmetic, Randomness, and Computable Domination – David E. Diamondstone, Damir D. Dzhafarov, Robert I. Soare - 2009
Extensions, Automorphisms, and Definability – Robert I. Soare
2 Effective packing dimension of Π 0 1-classes – Chris J. Conidis - 2007
3 Computability and Incomputability – Robert I. Soare
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
6 Effective presentability of Boolean algebras of Cantor-Bendixson rank 1 – Rod Downey, Carl G. Jockusch, Jr. - 1999
7 Degree spectra of prime models – Barbara F. Csima - 2004
2 An Overview of the Computably Enumerable Sets – Robert I. Soare
1 Simple and Immune Relations on Countable Structures ∗ – Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight
32 Computability and recursion – Robert I. Soare - 1996