Codable Sets and Orbits of Computably Enumerable Sets (1995)

Cached

Download Links

by Leo Harrington , Robert I. Soare
Venue:J. Symbolic Logic
Citations:10 - 5 self

Active Bibliography

1 Dynamic Properties of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
13 The ∆ 0 3-Automorphism Method and Noninvariant Classes of Degrees – Leo Harrington, Robert I. Soare - 1996
2 An Overview of the Computably Enumerable Sets – Robert I. Soare
Definable properties of the computably enumerable sets – Leo Harrington, Robert I. Soare - 1996
Extensions, Automorphisms, and Definability – Robert I. Soare
1 Introduction Degrees of Unsolvability – Klaus Ambos-spies, Peter A. Fejer - 2006
Definability and Automorphisms of the Computably Enumerable Sets – Rachel Louise Epstein - 2010
9 On the definability of the double jump in the 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