previous :: next
On Downey's conjecture
Marat M. Arslanov, Iskander Sh. Kalimullin, and Steffen Lempp
Source: J. Symbolic Logic Volume 75, Issue 2
(2010), 401-441.
Abstract
We prove that the degree structures of the d.c.e. and the 3-c.e. Turing degrees are not elementarily equivalent, thus refuting a conjecture of Downey. More specifically, we show that the following statement fails in the former but holds in the latter structure: There are degrees f > e > d > 0 such that any degree u ≤ f is either comparable with both e and d, or incomparable with both.
First Page:
Show
Hide
Primary Subjects:
03D28
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1268917488
Digital Object Identifier: doi:10.2178/jsl/1268917488
Zentralblatt MATH identifier: 05725857
Mathematical Reviews number (MathSciNet): MR2648149
References
Marat M. Arslanov, The lattice of the degrees below $\textbf\upshape 0'$, Izvestiya Vysshikh Uchebnykh Zavedeniĭ. Matematika, (1988), no. 7, pp. 27--33.
Mathematical Reviews (MathSciNet): MR968729
Zentralblatt MATH: 0665.03034
--------, Open questions about the $n$-c.e. degrees, Computability theory and its applications (Boulder, CO, 1999), Contemporary Mathematics, no. 257, American Mathematical Society, Providence, RI, 2000.
Mathematical Reviews (MathSciNet): MR1770731
Zentralblatt MATH: 0967.03036
Marat M. Arslanov, Steffen Lempp, and Richard A. Shore, On isolating r.e. and isolated d-r.e. degrees, Computability, enumerability, unsolvability (S. B. Cooper, T. A. Slaman, and S. S. Wainer, editors), London Mathematical Society, Cambridge University Press, Cambridge, 1996, pp. 61--80.
Mathematical Reviews (MathSciNet): MR1395874
Zentralblatt MATH: 0839.03024
Digital Object Identifier: doi:10.1017/CBO9780511629167.003
S. Barry Cooper, Degrees of unsolvability, Ph.D. thesis, Leicester University, Leicester, England, 1971.
S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, and Robert I. Soare, The d.r.e. degrees are not dense, Annals of Pure and Applied Logic, vol. 55 (1991), pp. 125--151.
Mathematical Reviews (MathSciNet): MR1141717
Zentralblatt MATH: 0756.03020
Digital Object Identifier: doi:10.1016/0168-0072(91)90005-7
S. Barry Cooper, Steffen Lempp, and Philip Watson, Weak density and cupping in the d-r.e. degrees, Israel Journal of Mathematics, vol. 67 (1989), pp. 137--152.
Mathematical Reviews (MathSciNet): MR1026559
Zentralblatt MATH: 0691.03023
Digital Object Identifier: doi:10.1007/BF02937291
Rodney G. Downey, D.r.e. degrees and the nondiamond theorem, Bulletin of the London Mathematical Society, vol. 21 (1989), pp. 43--50.
Mathematical Reviews (MathSciNet): MR967789
Zentralblatt MATH: 0628.03030
Digital Object Identifier: doi:10.1112/blms/21.1.43
Yuri L. Ershov, A certain hierarchy of sets I, Algebra and Logic, vol. 7 (1968), no. 1, pp. 47--74, (English translation pp. 25--43).
Mathematical Reviews (MathSciNet): MR270911
--------, A certain hierarchy of sets II, Algebra and Logic, vol. 7 (1968), no. 4, pp. 15--47, (English translation pp. 212--232).
Mathematical Reviews (MathSciNet): MR270912
--------, A certain hierarchy of sets III, Algebra and Logic, vol. 9 (1970), no. 1, pp. 34--51, (English translation pp. 20--31).
Mathematical Reviews (MathSciNet): MR299478
Alistair H. Lachlan, Lower bounds for pairs of recursively enumerable degrees, Proceedings of the London Mathematical Society, vol. 16 (1966), pp. 537--569.
Mathematical Reviews (MathSciNet): MR204282
Zentralblatt MATH: 0156.00907
Digital Object Identifier: doi:10.1112/plms/s3-16.1.537
David P. Miller, High recursively enumerable degrees and the anticupping property, Logic Year 1979--80 (Proceedings of the Seminars and Conference on Mathematical Logic, University of Connecticut, Storrs, Connecticut, 1979/80), Lecture Notes in Mathematics, no. 859, Springer, Berlin, 1981, pp. 230--245.
Mathematical Reviews (MathSciNet): MR619872
Hilary Putnam, Trial and error predicates and the solution to a problem of Mostowski, Journal of Symbolic Logic, vol. 30 (1965), pp. 49--57.
Mathematical Reviews (MathSciNet): MR195725
Zentralblatt MATH: 0193.30102
Digital Object Identifier: doi:10.2307/2270581
JSTOR: links.jstor.org
Gerald E. Sacks, A minimal degree less than $\oh'$, Bulletin of the American Mathematical Society, vol. 67 (1961), pp. 416--419.
Mathematical Reviews (MathSciNet): MR126380
Zentralblatt MATH: 0101.01202
Digital Object Identifier: doi:10.1090/S0002-9904-1961-10652-6
Project Euclid: euclid.bams/1183524267
--------, The recursively enumerable degrees are dense, Annals of Mathematics (2), vol. 80 (1964), pp. 300--312.
Mathematical Reviews (MathSciNet): MR166089
Digital Object Identifier: doi:10.2307/1970393
JSTOR: links.jstor.org
Robert I. Soare, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.
Mathematical Reviews (MathSciNet): MR882921
previous :: next
