Abstract
In the paper the exact pair theorem for the ω-enumeration degrees is proved. As a corollary an exact pair theorem involving the jump operation for the enumeration degrees is obtained.
Mathematics subject classification: 03D30.
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
Case, J.: Enumeration reducibility and partial degrees. Ann.Math.Log 2, 419–439 (1971)
Soskov, I.N.: The ω-enumereation degrees (To appear)
Soskov, I.N., Kovachev, B.: Uniform regular enumerations. Math.Struct. in Comp.Sci. 16, 901–924 (2006)
Spector, C.: On degrees of recursive unsolvability. Ann. of Math(2) 64, 581–592 (1956)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ganchev, H. (2007). Exact Pair Theorem for the ω-Enumeration Degrees. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)