Abstract
We study a strong enumeration reducibility, called bounded enumeration reducibility and denoted by ≤be, which is a natural extension of s-reducibility ≤s. We show that ≤s, ≤be, and enumeration reducibility do not coincide on the \({\Pi^0_1}\) –sets, and the structure \({\boldsymbol{\mathcal{D}_{\rm be}}}\) of the be-degrees is not elementarily equivalent to the structure of the s-degrees. We show also that the first order theory of \({\boldsymbol{\mathcal{D}_{\rm be}}}\) is computably isomorphic to true second order arithmetic: this answers an open question raised by Cooper (Z Math Logik Grundlag Math 33:537–560, 1987).
Similar content being viewed by others
References
Cooper S.B.: Enumeration reducibility using bounded information: counting minimal covers. Z. Math. Logik Grundlag. Math. 33, 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, vol. 1432 of Lecture Notes in Mathematics, pp. 57–110. Springer, Heidelberg (1990)
Cooper S.B.: Computability Theory. Chapman & Hall/CRC Mathematics, Boca Raton, London, New York, Washington, DC (2003)
Harris C.M.: Goodness in the enumeration and singleton degrees. Arch. Math. Log. 18(6), 673–691 (2010)
Kent T.F.: The structure of the s-degrees contained within a single e-degree. Ann. Pure Appl. Log. 160(1), 13–21 (2009)
Marsibilio, D., Sorbi, A.: Local structures of strong enumeration reducibilities. To appear
McEvoy, K.: The Structure of the enumeration degrees. PhD thesis, School of Mathematics, University of Leeds (1984)
Mostowski A.: Über gewisse universelle relationen. Ann. Soc. Pol. Math. 17, 117–118 (1938)
Muchnik, A.A.: Solution of Post’s reduction problem and of certain other problems in the theory of algorithms. Trud. Mosk. Math. Obsc. 7, 391–401 (1958). A.M.S. transl. 29, 197–215 (1963)
Myhill J.: Creative sets. Z. Math. Logik Grundlag. Math. 1, 97–108 (1955)
Odifreddi P.: Classical Recursion Theory (vol. I). North–Holland, Amsterdam (1989)
Omanadze R.S: Quasi-degrees of recursively enumerable sets. In: Cooper, S.B., Goncharov, S. (eds) Computability and Models: Perspectives East and West, Kluwer/Plenum, New York, Boston, Dordrecht, London, Moscow (2002)
Omanadze R.S., Sorbi A.: Strong enumeration reducibilities. Arch. Math. Log. 45(7), 869–912 (2006)
Polyakov E.A., Rozinas M.G.: Enumeration reducibilities. Sib. Math. J. 18(4), 594–599 (1977)
Poljakov E.A., Rozinas M.G.: Relationships between different forms of relative computability. Math. USSR-Sbornik 35(3), 425–436 (1979)
Rogers H. Jr: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)
Sacks G.E.: Degrees of Unsolvability, vol. 55 of Annals of Mathematical Studies. Princeton University Press, Princeton (1963)
Slaman T.A., Woodin W.H.: Definability in the enumeration degrees. Arch. Math. Log. 36, 225–267 (1997)
Soare R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic, Omega Series. Springer, Heidelberg (1987)
Zacharov S.D.: e- and s- degrees. Algebra Log. 23, 273–281 (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors were partially supported by the project Computability with partial information, sponsored by BNSF, Contract No: D002-258/18.12.08.
Rights and permissions
About this article
Cite this article
Marsibilio, D., Sorbi, A. Bounded enumeration reducibility and its degree structure. Arch. Math. Logic 51, 163–186 (2012). https://doi.org/10.1007/s00153-011-0259-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0259-2