The translation theorem

Archive for Mathematical Logic 33 (2):87-108 (1994)
Abstract
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01352931
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,010
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Definable Properties of the Computably Enumerable Sets.Leo Harrington & Robert I. Soare - 1998 - Annals of Pure and Applied Logic 94 (1-3):97-125.
Some Orbits for E.Peter Cholak, Rod Downey & Eberhard Herrmann - 2001 - Annals of Pure and Applied Logic 107 (1-3):193-226.

Add more citations

Similar books and articles

Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Tait's Conservative Extension Theorem Revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Epistemic Democracy with Defensible Premises.Franz Dietrich & Kai Spiekermann - 2013 - Economics and Philosophy 29 (1):87--120.
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.

Analytics

Added to PP index
2013-12-01

Total downloads
17 ( #343,324 of 2,275,237 )

Recent downloads (6 months)
1 ( #375,449 of 2,275,237 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature