Abstract
For any enumeration degree a let \(D^s_{\bf a}\) be the set of s-degrees contained in a. We answer an open question of Watson by showing that if a is a nontrivial \(\Sigma^0_2\)-enumeration degree, then \(D^s_{\bf a}\) has no least element. We also show that every countable partial order embeds into \(D^s_{\bf a}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cooper, S.B.: Enumeration reducibility using bounded information: counting minimal covers. Z. Math. Logik Grundlag. Math. 33(6), 537–560 (1987)
Cooper, S.B.: Enumeration reducibility, nondeterministic computations and relative computability of partial functions. In: Ambos-Spies, K., Müller, G., Sacks, G.E. (eds.) Recursion theory week (Oberwolfach, 1989). Lecture Notes in Math, vol. 1432, pp. 57–110. Springer, Heidelberg (1990)
Copestake, C.S.: Enumeration Degrees of \(\Sigma^0_2\)-sets. PhD thesis, Department of Pure Mathematics, University of Leeds (1987)
Jockusch Jr., C.G.: Semirecursive sets and positive reducibility. 131, 420–436 (1968)
Kent, T.F.: On a conjecture of Watson (to appear, 2008)
McEvoy, K.: The Structure of the Enumeration Degrees. PhD thesis, School of Mathematics, University of Leeds (1984)
Odifreddi, P.: Classical Recursion Theory (vol. I), Amsterdam (1989)
Sh. Omanadze, R., Sorbi, A.: Strong enumeration reducibilities. Arch. Math. Logic 45(7), 869–912 (2006)
Watson, P.: On restricted forms of enumeration reducibility. Ann. Pure Appl. Logic 49(1), 75–96 (1990)
Zakharov, S.D.: e- and s-degrees. Algebra i Logika 23(4), 395–406, 478 (1984)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kent, T.F. (2008). s-Degrees within e-Degrees. In: Agrawal, M., Du, D., Duan, Z., Li, A. (eds) Theory and Applications of Models of Computation. TAMC 2008. Lecture Notes in Computer Science, vol 4978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79228-4_50
Download citation
DOI: https://doi.org/10.1007/978-3-540-79228-4_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79227-7
Online ISBN: 978-3-540-79228-4
eBook Packages: Computer ScienceComputer Science (R0)