There is no fat orbit

&
Annals of Pure and Applied Logic 80 (3):277-289 (1996)
  Copy   BIBTEX

Abstract

We give a proof of a theorem of Harrington that there is no orbit of the lattice of recursively enumerable sets containing elements of each nonzero recursively enumerable degree. We also establish some degree theoretical extensions.

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(96)83748-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The complexity of orbits of computably enumerable sets.Peter A. Cholak, Rodney Downey & Leo A. Harrington - 2008 - Bulletin of Symbolic Logic 14 (1):69 - 87.
Periodic Orbit Quantization: How to make Semiclassical Trace Formulae Convergent.Jörg Main & Günter Wunner - 2001 - Foundations of Physics 31 (3):447-474.
Early estimates of the strength of the nuclear spin-orbit force.H. H. Barschall & Louis Brown - 1986 - Foundations of Physics 16 (2):115-124.
Orbit Equivalence and Actions of Fn.Asger Törnquist - 2006 - Journal of Symbolic Logic 71 (1):265 - 282.
Chaos in a Quantum Dot with Spin-Orbit Coupling.K.-F. Berggren & T. Ouchterlony - 2001 - Foundations of Physics 31 (2):233-242.
Kepler's move from.Bernard R. Goldstein & Giora Hon - 2005 - Perspectives on Science 13 (1):74-111.
Actions of non-compact and non-locally compact polish groups.Sławomir Solecki - 2000 - Journal of Symbolic Logic 65 (4):1881-1894.
Gravitational effects of rotating masses.Bahram Mashhoon - 1985 - Foundations of Physics 15 (4):497-515.
Chaos and algorithmic complexity.Robert W. Batterman & Homer White - 1996 - Foundations of Physics 26 (3):307-336.
Codable sets and orbits of computably enumerable sets.Leo Harrington & Robert I. Soare - 1998 - Journal of Symbolic Logic 63 (1):1-28.
In orbit.Alphonso Lingis - 1994 - Journal of Social Philosophy 25 (3):165-180.
Clinical research should not be permitted to escape the ethical orbit of clinical care.David Steinberg - 2002 - American Journal of Bioethics 2 (2):27 – 28.
Angular homeostasis: III. The formalism of discrete orbits in ontogeny.Kenneth R. Berger & Edmond A. Murphy - 1989 - Theoretical Medicine and Bioethics 10 (4).
Laser Propulsion and the Four P's.John Cramer - unknown
Computation of orbit of the comes of sirius.A. W. Roberts - 1890 - Transactions of the Royal Society of South Africa 8 (1):40-49.

Analytics

Added to PP
2014-01-16

Downloads
15 (#923,100)

6 months
12 (#200,125)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.

View all 7 citations / Add more citations

References found in this work

A non-inversion theorem for the jump operator.Richard A. Shore - 1988 - Annals of Pure and Applied Logic 40 (3):277-303.
Highness and bounding minimal pairs.Rodney G. Downey, Steffen Lempp & Richard A. Shore - 1993 - Mathematical Logic Quarterly 39 (1):475-491.
Jumps of Hemimaximal Sets.Rod Downey & Mike Stob - 1991 - Mathematical Logic Quarterly 37 (8):113-120.
Jumps of Hemimaximal Sets.Rod Downey & Mike Stob - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (8):113-120.

View all 8 references / Add more references