Archive for Mathematical Logic 49 (2):169-193 (2010)

Abstract
We prove that a sequence of sets containing representatives of cupping partners for every nonzero ${\Delta^0_2}$ enumeration degree cannot have a ${\Delta^0_2}$ enumeration. We also prove that no subclass of the ${\Sigma^0_2}$ enumeration degrees containing the nonzero 3-c.e. enumeration degrees can be cupped to ${\mathbf{0}_e'}$ by a single incomplete ${\Sigma^0_2}$ enumeration degree
Keywords Enumeration degrees  Cupping  Local structure  Difference hierarchy
Categories (categorize this paper)
DOI 10.1007/s00153-009-0171-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,645
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

Computability Theory.S. Barry Cooper - 2004 - Chapman & Hall.
Then-Rea Enumeration Degrees Are Dense.Alistair H. Lachlan & Richard A. Shore - 1992 - Archive for Mathematical Logic 31 (4):277-285.
Degrees Joining to 0'. [REVIEW]David B. Posner & Robert W. Robinson - 1981 - Journal of Symbolic Logic 46 (4):714 - 722.

View all 6 references / Add more references

Citations of this work BETA

Avoiding Uniformity in theΔ20enumeration Degrees.Liliana Badillo & Charles M. Harris - 2014 - Annals of Pure and Applied Logic 165 (9):1355-1379.

Add more citations

Similar books and articles

On the Jump Classes of Noncuppable Enumeration Degrees.Charles M. Harris - 2011 - Journal of Symbolic Logic 76 (1):177 - 197.
A Hierarchy for the Plus Cupping Turing Degrees.Yong Wang & Angsheng Li - 2003 - Journal of Symbolic Logic 68 (3):972-988.
Noncappable Enumeration Degrees Below 0'e. [REVIEW]S. Barry Cooper & Andrea Sorbi - 1996 - Journal of Symbolic Logic 61 (4):1347 - 1363.
On the Symmetric Enumeration Degrees.Charles M. Harris - 2007 - Notre Dame Journal of Formal Logic 48 (2):175-204.
Limit Lemmas and Jump Inversion in the Enumeration Degrees.Evan J. Griffiths - 2003 - Archive for Mathematical Logic 42 (6):553-562.
Badness and Jump Inversion in the Enumeration Degrees.Charles M. Harris - 2012 - Archive for Mathematical Logic 51 (3-4):373-406.
The Π₃-Theory of the [Image] -Enumeration Degrees Is Undecidable.Thomas F. Kent - 2006 - Journal of Symbolic Logic 71 (4):1284 - 1302.
Bounding Nonsplitting Enumeration Degrees.Thomas F. Kent & Andrea Sorbi - 2007 - Journal of Symbolic Logic 72 (4):1405 - 1417.
Goodness in the Enumeration and Singleton Degrees.Charles M. Harris - 2010 - Archive for Mathematical Logic 49 (6):673-691.
The Jump Operation for Structure Degrees.V. Baleva - 2006 - Archive for Mathematical Logic 45 (3):249-265.

Analytics

Added to PP index
2013-11-23

Total views
24 ( #415,762 of 2,349,059 )

Recent downloads (6 months)
1 ( #512,311 of 2,349,059 )

How can I increase my downloads?

Downloads

My notes