Skip to main content
Log in

The translation theorem

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Summary

We state and prove the Translation Theorem. Then we apply the Translation Theorem to Soare's Extension Theorem, weakening slightly the hypothesis to yield a theorem we call the Modified Extension Theorem. We use this theorem to reprove several of the known results about orbits in the lattice of recursively enumerable sets. It is hoped that these proofs are easier to understand than the old proofs.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Cholak, P.: Automorphisms of the lattice of recursively enumerable sets. Ph.D. Dissertation, University of Wisconsin (1991)

  2. Cholak, P.: Automorphisms of the lattice of recursively enumerable sets. To appear in Mem. Am. Math. Soc.

  3. Downey, R.G., Stob, M.: Automorphisms of the lattice of recursively enumerable sets: orbits. Adv. Math.92, 237–265 (1992)

    Google Scholar 

  4. Downey, R.G., Stob, M.: Friedberg splittings of r.e. sets. Ann. Pure Appl. Logic59, 175–199 (1993)

    Google Scholar 

  5. Lachlan, A.H.: On the lattice of recursively enumerable sets. Trans. Am. Soc.130, 1–37 (1968)

    Google Scholar 

  6. Maass, W.: Orbits of hyperhypersimple sets. J. Symb. Logic49, 51–62 (1984)

    Google Scholar 

  7. Soare, R.: Automorphisms of the lattice of recursively enumerable sets. Part I. Maximal sets. Ann. Math.100 (2), 80–120 (1974)

    Google Scholar 

  8. Soare, R.: Recursively enumerable sets and degrees. Perspectives in Mathematical Logic, Omega series. Berlin Heidelberg New York Tokyo: Springer 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Mathematics subject classification (1991): 03D25

The author was partially supported by a NSF Postdoctoral Fellowship and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University and wishes to thank Michael Stob and Rodney Downey for their help

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cholak, P. The translation theorem. Arch Math Logic 33, 87–108 (1994). https://doi.org/10.1007/BF01352931

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01352931

Keywords

Navigation