Post's Program and incomplete recursively enumerable sets (1991)

Cached

Download Links

by Leo Harrington , Robert I. Soare
Citations:21 - 4 self

Active Bibliography

13 The ∆ 0 3-Automorphism Method and Noninvariant Classes of Degrees – Leo Harrington, Robert I. Soare - 1996
4 Conjectures and Questions from Gerald Sacks’s Degrees of Unsolvability – Richard A. Shore - 1993
4 Degrees of Computing and Learning – Frank Stephan - 1999
965 AGENDA – Artley Rogers Agenda, Artley Rogers, Leeds Ls Jt, S. Barry Cooper, S. Barry Cooper
3 Highness and Bounding Minimal Pairs – Rodney G. Downey Steffen Lempp, Rodney G. Downey, Richard A. Shore - 1993
3 On the Universal Splitting Property – Rod Downey - 1996
1 Dynamic Properties of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
1 PROMPT SIMPLICITY, ARRAY COMPUTABILITY AND CUPPING – Rod Downey, Noam Greenberg, Joseph S. Miller, Rebecca Weber
2 Atomless r-Maximal Sets – Peter A. Cholak, André Nies
1 AUTOMORPHISMS OF THE LATTICE OF �0 1 CLASSES; PERFECT THIN CLASSES AND ANC DEGREES – Peter Cholak, Richard Coles, Rod Downey, Eberhard Herrmann
2 Invariance in E ∗ and EΠ – Rebecca Weber
Definability and Automorphisms of the Computably Enumerable Sets – Rachel Louise Epstein - 2010
4 Extension theorems, orbits, and automorphisms of the computably enumerable sets – Peter A. Cholak, Leo A. Harrington - 2008
6 Some orbits for ... – Peter Cholak, Rod Downey, Eberhard Herrmann - 2000
9 On the definability of the double jump in the computably enumerable sets – Peter A. Cholak, Leo A. Harrington - 2002
4 Isomorphisms Of Splits Of Computably Enumerable Sets – Peter A. Cholak, Leo A. Harrington - 2002
5 Definable encodings in the computably enumerable sets – Peter A. Cholak, Leo A. Harrington - 2000
6 There is no Fat Orbit – Rod Downey, Leo Harrington
8 Definability, Automorphisms, And Dynamic Properties Of Computably Enumerable Sets – Leo Harrington, Robert, Robert I. Soare - 1996