Journal of Symbolic Logic 76 (4):1137-1152 (2011)

Abstract
Say that an incomplete d.r.e. degree has almost universal cupping property, if it cups all the r.e. degrees not below it to 0′. In this paper, we construct such a degree d, with all the r.e. degrees not cupping d to 0′ bounded by some r.e. degree strictly below d. The construction itself is an interesting 0″′ argument and this new structural property can be used to study final segments of various degree structures in the Ershov hierarchy
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1318338843
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: 54,385
Through your library

References found in this work BETA

Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
Isolation and the Jump Operator.Guohua Wu - 2001 - Mathematical Logic Quarterly 47 (4):525-534.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Hierarchy for the Plus Cupping Turing Degrees.Yong Wang & Angsheng Li - 2003 - Journal of Symbolic Logic 68 (3):972-988.
The Cupping Theorem in R/M.Sui Yuefei & Zhang Zaiyue - 1999 - Journal of Symbolic Logic 64 (2):643-650.
Isolation and Lattice Embeddings.Guohua Wu - 2002 - Journal of Symbolic Logic 67 (3):1055-1064.
Popper's Measure of Corroboration and P(H|B).Darrell Patrick Rowbottom - 2013 - British Journal for the Philosophy of Science 64 (4):axs029.
Bi-Isolation in the D.C.E. Degrees.Guohua Wu - 2004 - Journal of Symbolic Logic 69 (2):409 - 420.
Degrees Joining to 0'. [REVIEW]David B. Posner & Robert W. Robinson - 1981 - Journal of Symbolic Logic 46 (4):714 - 722.
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.Mingzhong Cai - 2010 - Notre Dame Journal of Formal Logic 51 (4):443-455.
A High Strongly Noncappable Degree.Steffen Lempp - 1988 - Journal of Symbolic Logic 53 (1):174-187.
Jump Operator and Yates Degrees.Guohua Wu - 2006 - Journal of Symbolic Logic 71 (1):252 - 264.
Degree Spectra of Intrinsically C.E. Relations.Denis R. Hirschfeldt - 2001 - Journal of Symbolic Logic 66 (2):441-469.
Hobbes, Universal Names, and Nominalism.Stewart Duncan - 2017 - In Stefano Di Bella & Tad M. Schmaltz (eds.), The Problem of Universals in Early Modern Philosophy. Oxford University Press.

Analytics

Added to PP index
2011-10-12

Total views
22 ( #460,076 of 2,367,993 )

Recent downloads (6 months)
1 ( #556,092 of 2,367,993 )

How can I increase my downloads?

Downloads

My notes