The following pages link to The translation theorem (Q1325048):
Displayed 4 items.
- Definable properties of the computably enumerable sets (Q1295410) (← links)
- Some orbits for \({\mathcal E}\) (Q1840464) (← links)
- The Complexity of Orbits of Computably Enumerable Sets (Q5387296) (← links)
- Extension theorems, orbits, and automorphisms of the computably enumerable sets (Q5437614) (← links)