Abstract
A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and \({X \not\leq_T Y}\). A real X is relatively simple and above if there is a real Y < T X such that X is c.e.(Y) and there is no infinite set \({Z \subseteq \overline{X}}\) such that Z is c.e.(Y). We prove that every nonempty \({\Pi^0_1}\) class contains a member which is not relatively c.e. and that every 1-generic real is relatively simple and above.
Similar content being viewed by others
References
Ambos-Spies K., Ding D., Wang W., Yu L.: Bounding non-GL 2 and R.E.A. J. Symb. Log. 74(3), 989–1000 (2009)
Case, J.: Enumeration reducibility and partial degrees. Ann. Math. Log. 2, 419–439 (1970/1971)
Franklin, J., Ng, K.M.: Difference randomness. In: Proceedings of the AMS (2010) (To appear)
Franklin J., Stephan F.: Schnorr trivial sets and truth-table reducibility. J. Symb. Log. 75, 501–521 (2010)
Jockusch, C.G. Jr.: Degrees of generic sets. In: Recursion Theory: Its Generalisation and Applications (Proceedings of the Logic Colloquium, University Leeds, Leeds, 1979), vol. 45 of London Mathematical Society Lecture Note Series, pp. 110–139. Cambridge University Press, Cambridge (1980)
Jockusch C.G. Jr., Soare R.I.: \({\Pi^0_1}\) Classes and degrees of theories. Trans. AMS 173, 33–55 (1972)
Kautz, S.: Degrees of Random Sets. PhD thesis, Cornell University (1991)
Kurtz, S.A.: Randomness and Genericity in the Degrees of Unsolvability. PhD thesis, University of Illinois at Urbana Champaign (1981)
Selman A.: Arithmetical reducibilities. Z. für Mathematische Log. und Grundl. der Mathematik 17, 335–350 (1971)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Anderson, B.A. Relatively computably enumerable reals. Arch. Math. Logic 50, 361–365 (2011). https://doi.org/10.1007/s00153-010-0219-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0219-2