The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees

Notre Dame Journal of Formal Logic 47 (3):361-370 (2006)
Abstract
We show that in the c.e. weak truth table degrees if b < c then there is an a which contains no hypersimple set and b < a < c. We also show that for every w < c in the c.e. wtt degrees such that w is hypersimple, there is a hypersimple a such that w < a < c. On the other hand, we know that there are intervals which contain no hypersimple set
Keywords hypersimple   weak truth table degrees   density
Categories (categorize this paper)
DOI 10.1305/ndjfl/1163775443
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,567
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Wtt-Degrees and T-Degrees of R.E. Sets.Michael Stob - 1983 - Journal of Symbolic Logic 48 (4):921-930.
A Refinement of de Bruijn's Formal Language of Mathematics.Fairouz Kamareddine & Rob Nederpelt - 2004 - Journal of Logic, Language and Information 13 (3):287-340.
Embedding Lattices Into the Wtt-Degrees Below 0'.Rod Downey & Christine Haught - 1994 - Journal of Symbolic Logic 59 (4):1360-1382.
The Density of the Meet-Inaccessible R.E. Degrees.Zhang Qinglong - 1992 - Journal of Symbolic Logic 57 (2):585-596.
The Degrees of Conditional Problems.Su Gao - 1994 - Journal of Symbolic Logic 59 (1):166-181.
The Π02 Enumeration Degrees Are Not Dense.William C. Calhoun & Theodore A. Slaman - 1996 - Journal of Symbolic Logic 61 (4):1364 - 1379.
Bi-Isolation in the D.C.E. Degrees.Guohua Wu - 2004 - Journal of Symbolic Logic 69 (2):409 - 420.
Degrees of Monotone Complexity.William C. Calhoun - 2006 - Journal of Symbolic Logic 71 (4):1327 - 1341.
Structural Properties and Σ02 Enumeration Degrees.André Nies & Andrea Sorbi - 2000 - Journal of Symbolic Logic 65 (1):285 - 292.
Maximal Contiguous Degrees.Peter Cholak, Rod Downey & Stephen Walk - 2002 - Journal of Symbolic Logic 67 (1):409-437.
On the Structures Inside Truth-Table Degrees.Frank Stephan - 2001 - Journal of Symbolic Logic 66 (2):731-770.
Added to PP index
2010-08-24

Total downloads
12 ( #383,223 of 2,180,803 )

Recent downloads (6 months)
1 ( #299,591 of 2,180,803 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums