Archive for Mathematical Logic 49 (1):35-49 (2010)
Abstract |
Lachlan observed that the infimum of two r.e. degrees considered in the r.e. degrees coincides with the one considered in the ${\Delta_2^0}$ degrees. It is not true anymore for the d.r.e. degrees. Kaddah proved in (Ann Pure Appl Log 62(3):207–263, 1993) that there are d.r.e. degrees a, b, c and a 3-r.e. degree x such that a is the infimum of b, c in the d.r.e. degrees, but not in the 3-r.e. degrees, as a < x < b, c. In this paper, we extend Kaddah’s result by showing that such a structural difference occurs densely in the r.e. degrees. Our result immediately implies that the isolated 3-r.e. degrees are dense in the r.e. degrees, which was first proved by LaForte
|
Keywords | Turing degrees infimum Ershov hierarchy |
Categories | (categorize this paper) |
Reprint years | 2009, 2010 |
ISBN(s) | |
DOI | 10.1007/s00153-009-0159-x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers.Piergiorgio Odifreddi - 1989 - Sole Distributors for the Usa and Canada, Elsevier Science Pub. Co..
Isolation in the CEA Hierarchy.Geoffrey LaForte - 2005 - Archive for Mathematical Logic 44 (2):227-244.
Citations of this work BETA
No citations found.
Similar books and articles
Infima in the Recursively Enumerable Weak Truth Table Degrees.Rich Blaylock, Rod Downey & Steffen Lempp - 1997 - Notre Dame Journal of Formal Logic 38 (3):406-418.
Randomness, Lowness and Degrees.George Barmpalias, Andrew E. M. Lewis & Mariya Soskova - 2008 - Journal of Symbolic Logic 73 (2):559 - 577.
Maximal Contiguous Degrees.Peter Cholak, Rod Downey & Stephen Walk - 2002 - Journal of Symbolic Logic 67 (1):409-437.
The Isolated D. R. E. Degrees Are Dense in the R. E. Degrees.Geoffrey Laforte - 1996 - Mathematical Logic Quarterly 42 (1):83-103.
Some Special Pairs of Σ2 E-Degrees.Seema Ahmad & Alistair H. Lachlan - 1998 - Mathematical Logic Quarterly 44 (4):431-449.
Elementary Differences Between the (2p)-C. E. And the (2p + 1)-C. E. Enumeration Degrees.I. Sh Kalimullin - 2007 - Journal of Symbolic Logic 72 (1):277 - 284.
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees.Klaus Ambos-Spies & Ding Decheng - 1994 - Mathematical Logic Quarterly 40 (3):287-317.
Decomposition and Infima in the Computably Enumerable Degrees.Rodney G. Downey, Geoffrey L. Laforte & Richard A. Shore - 2003 - Journal of Symbolic Logic 68 (2):551-579.
On the Very Idea of Degrees of Truth.Timothy Cleveland - 1997 - Australasian Journal of Philosophy 75 (2):218 – 221.
Isolation in the CEA Hierarchy.Geoffrey LaForte - 2005 - Archive for Mathematical Logic 44 (2):227-244.
Wtt-Degrees and T-Degrees of R.E. Sets.Michael Stob - 1983 - Journal of Symbolic Logic 48 (4):921-930.
Analytics
Added to PP index
2013-12-01
Total views
41 ( #276,324 of 2,505,158 )
Recent downloads (6 months)
1 ( #416,587 of 2,505,158 )
2013-12-01
Total views
41 ( #276,324 of 2,505,158 )
Recent downloads (6 months)
1 ( #416,587 of 2,505,158 )
How can I increase my downloads?
Downloads