The following pages link to The translation theorem (Q1325048):
Displaying 7 items.
- Definable properties of the computably enumerable sets (Q1295410) (← links)
- Some orbits for \({\mathcal E}\) (Q1840464) (← links)
- Translation invariance and Miller's weather example (Q2008631) (← links)
- An application of the translational method (Q4285626) (← links)
- The Complexity of Orbits of Computably Enumerable Sets (Q5387296) (← links)
- Extension theorems, orbits, and automorphisms of the computably enumerable sets (Q5437614) (← links)
- (Q5840682) (← links)