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: 50,268
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

On the Orbits of Hyperhypersimple Sets.Wolfgang Maass - 1984 - Journal of Symbolic Logic 49 (1):51-62.
Friedberg Splittings of Recursively Enumerable Sets.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 59 (3):175-199.

Add more references

Citations of this work BETA

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

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 views
37 ( #255,698 of 2,325,396 )

Recent downloads (6 months)
1 ( #667,459 of 2,325,396 )

How can I increase my downloads?

Downloads

My notes