The translation theorem

DOI10.1007/BF01352931MaRDI QIDQ1325048zbMATH OpenOpenAlexFDO

Authors Peter A. Cholak

Publication date 7 July 1994

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01352931

zbMATH Keywords

maximal setshyperhypersimple setsorbits in the lattice of recursively enumerable setsSoare's Extension TheoremTranslation Theorem

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Recommendations

• Some New Lattice Constructions in High R. E. Degrees
• Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets
• Automorphisms of the Lattice of Recursively Enumerable Sets: Promptly Simple Sets
• scientific article; zbMATH DE number 1531936

Cites work

• Automorphisms of the lattice of recursively enumerable sets
• Automorphisms of the lattice of recursively enumerable sets: Orbits
• Friedberg splittings of recursively enumerable sets
• On the Lattice of Recursively Enumerable Sets
• On the orbits of hyperhypersimple sets

Cited in

(7)

• An application of the translational method
• The Complexity of Orbits of Computably Enumerable Sets
• Some orbits for \({\mathcal E}\)
• Definable properties of the computably enumerable sets
• Extension theorems, orbits, and automorphisms of the computably enumerable sets
• Translation invariance and Miller's weather example
• scientific article; zbMATH DE number 3101016 (Why is no real title available?)

This page was built for publication: The translation theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1325048)