View Item 

Show simple item record

The translation theorem
dc.contributor.authorCholak, Peter A.en_US
dc.date.accessioned2006-09-11T17:20:20Z
dc.date.available2006-09-11T17:20:20Z
dc.date.issued1994-03en_US
dc.identifier.citationCholak, Peter; (1994). "The translation theorem." Archive for Mathematical Logic 33(2): 87-108. <http://hdl.handle.net/2027.42/46067>en_US
dc.identifier.issn1432-0665en_US
dc.identifier.issn0933-5846en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/46067
dc.description.abstractWe 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.en_US
dc.format.extent1324692 bytes
dc.format.extent3115 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherSpringer-Verlagen_US
dc.subject.otherMathematics, Generalen_US
dc.subject.otherMathematical Logic and Foundationsen_US
dc.subject.otherMathematicsen_US
dc.subject.otherAlgebraen_US
dc.titleThe translation theoremen_US
dc.typeArticleen_US
dc.subject.hlbsecondlevelMathematicsen_US
dc.subject.hlbtoplevelScienceen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumDepartment of Mathematics, University of Michigan, 48109-1003, Ann Arbor, MI, USA; Department of Mathematics, Cornell University, White Hall, 14853, Ithaca, NY, USAen_US
dc.contributor.affiliationumcampusAnn Arboren_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/46067/1/153_2005_Article_BF01352931.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1007/BF01352931en_US
dc.identifier.sourceArchive for Mathematical Logicen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
153_2005_Article_BF01352931.pdf
Size:
1.263MB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.