Bounded Immunity and Btt-Reductions (1999)

Cached

Download Links

by Stephen Fenner , Marcus Schaefer
Venue:MLQ Math. Log. Q
Citations:6 - 2 self

Active Bibliography

A Note on a Variant of Immunity, Btt-Reducibility, and Minimal Programs – Stephen Fenner, Marcus Schaefer - 1996
1 Simple Sets Are Not Btt-Cuppable – Marcus Schaefer - 1997
2 Simplicity and Strong Reductions – Marcus Schaefer, Stephen Fenner - 2000
Simple Sets and Strong Reducibilities – Kejia Ho, Frank Stephan
32 Automorphisms of the lattice of recursively enumerable sets: Orbits, Adv – Author(s) Peter Cholak, Rod Downey, Michael Stob, Peter Cholak, Rod Downey, Michael Stob
7 1995], Degree theoretic definitions of the low 2 recursively enumerable sets – Rod Downey, Richard A. Shore - 1995
4 Conjectures and Questions from Gerald Sacks’s Degrees of Unsolvability – Richard A. Shore - 1993
4 On the Structures Inside Truth-Table Degrees – Frank Stephan - 1997
1 A Note on btt-Degrees – Rod Downey - 1998
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
11 Step By Recursive Step: Church's Analysis Of Effective Calculability – Wilfried Sieg - 1997
3 On the Universal Splitting Property – Rod Downey - 1996
TOWARD THE DEFINABILITY OF THE ARRAY NONCOMPUTABLE DEGREES – Peter A. Cholak, Stephen M. Walk - 1999
4 Degrees of Computing and Learning – Frank Stephan - 1999
6 Some orbits for ... – Peter Cholak, Rod Downey, Eberhard Herrmann - 2000
1 The Incomputable Alan Turing – S. Barry Cooper
1 PROMPT SIMPLICITY, ARRAY COMPUTABILITY AND CUPPING – Rod Downey, Noam Greenberg, Joseph S. Miller, Rebecca Weber
6 The recursively enumerable degrees – Richard A. Shore - 1996
1 The global structure of computably enumerable sets – Peter A. Cholak