Abstract
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
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
Dyment, E.: Certain properties of the Medvedev lattice. Mathematics of the USSR Sbornik 30, 321–340 (1976) (English Translation)
Lerman, M.: Degrees of Unsolvability. Perspectives in Mathematical Logic. Springer, Heidelberg (1983)
Medevdev, Y.T.: Degrees of difficulty of the mass problems. Dokl. Nauk. SSSR 104, 501–504 (1955)
Muchnik, A.: On strong and weak reducibility of algorithmic problems. Sibirskii Matematicheskii Zhurnal 4, 1328–1341 (1963) (Russian)
Nies, A.: Undecidable fragments of elementary theories. Algebra Universalis 35, 8–33 (1996)
Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)
Shore, R.A.: Degree structures: local and global investigations. Bull. Symbolic Logic 12(3), 369–389 (2006)
Simpson, S.G.: First order theory of the degrees of recursive unsolvability. Ann. of Math. 105, 121–139 (1977)
Slaman, T.A., Woodin, W.H.: Definability in the Turing degrees. Illinois J. Math. 30, 320–334 (1986)
Sorbi, A.: The Medvedev lattice of degrees of difficulty. In: Cooper, S.B., Slaman, T.A., Wainer, S.S. (eds.) Computability, Enumerability, Unsolvability - Directions in Recursion theory. London Mathematical Society Lecture Notes Series, pp. 289–312. Cambridge University Press, New York (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lewis, A., Nies, A., Sorbi, A. (2009). The First Order Theories of the Medvedev and Muchnik Lattices. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds) Mathematical Theory and Computational Practice. CiE 2009. Lecture Notes in Computer Science, vol 5635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03073-4_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-03073-4_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03072-7
Online ISBN: 978-3-642-03073-4
eBook Packages: Computer ScienceComputer Science (R0)