Abstract
We show that every nonzero \({\Delta^{0}_{2}}\) enumeration degree bounds the enumeration degree of a 1-generic set. We also point out that the enumeration degrees of 1-generic sets, below the first jump, are not downwards closed, thus answering a question of Cooper.
Similar content being viewed by others
References
Badillo, L., Harris, C.M.: An application of 1-genericity in the \({\Pi^{0}_{2}}\) enumeration degrees. In: Agrawal, M., Cooper, S.B., Li, A. (eds.) Theory and Applications of Models of Computation. Lecture Notes in Computer Science, vol. 7287, pp. 604–620. Springer, Heidelberg (2012)
Badillo, L., Harris, C.M., Soskova, M.I.: Enumeration 1-genericity in the local enumeration degrees. Preprint. http://www.maths.bris.ac.uk/~hh12242/papers/pdfversions/genericityPaperModified.pdf (2012)
Bianchini, C.: Bounding Enumeration Degrees. PhD thesis, University of Siena (2000)
Case J.: Enumeration reducibility and partial degrees. Ann. Math. Log. 2, 419–439 (1971)
Cooper S.B.: Partial degrees and the density problem. Part 2: The enumeration degrees of the \({\Sigma_{2}}\) sets are dense. J. Symb. Log. 49, 503–513 (1984)
Cooper, S.B.: Enumeration reducibility, nondeterministic computations and relative computability of partial functions. In: Ambos-Spies, K., Müller, G., Sacksm, G.E. (eds.) Recursion Theory Week, Oberwolfach 1989. Lecture Notes in Mathematics vol. 1432, pp. 57–110. Springer, Heidelberg (1990)
Cooper S.B.: Computability Theory. Chapman & Hall/CRC Mathematics, Boca Raton (2004)
Copestake K.: 1-genericity in the enumeration degrees. J. Symb. Log. 53, 878–887 (1988)
Copestake, K.: 1-generic enumeration degrees below \({\mathbf{0}'_e}\). In: Proceedings of the Conference dedicated to the 90th Anniversary of Arend Heyting, Chaika, Bulgaria, 1988, pp. 257–265 (1990)
Feferman, S.: Some applications of the notions of forcing and generic sets. In: Addison, J.W., Henkin, L., Tarski, A. (eds.) The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley, Studies in Logic and the Foundations of Mathematics, pp. 89–95. North–Holland Publishing Co., Amsterdam (1965)
Haught C.A.: The degrees below a 1-generic degree and less than 0′. J. Symb. Log. 51, 770–777 (1986)
Hinman P.G.: Some applications of forcing to hierarchy problems in arithmetic. Z. Math. Log. Grund. Math. 15, 341–352 (1969)
Jockusch, C.G. Jr.: Degrees of generic sets. In: Drake, F.R., Wainer, S.S. (eds.) Recursion Theory: Its Generalizations and Applications. Proceedings of Logic Colloquium ’79, Leeds, August 1979, pp. 110–139. Cambridge University Press, Cambridge (1980)
Kent T.F., Sorbi A.: Bounding nonsplitting enumeration degrees. J. Symb. Log. 72(4), 1405–1417 (2007)
Posner, D.: High Degrees. PhD thesis, University of California, Berkeley (1977)
Sacks G.E.: The recursively enumerable degrees are dense. Ann. Math. 80, 300–312 (1964)
Slaman, T.A.: Mathematical definability. In: Dales, H.G., Oliveri, G. (eds.) Truth in Mathematics (Mussomeli, 1995), pp. 233–251. Oxford University Press, New York (1998)
Soare, R.I.: Recursively enumerable sets and degrees. In: Dales, H.G., Oliveri, G. (eds.) Perspectives in Mathematical Logic, Omega Series. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Liliana Badillo and Andrea Sorbi would like to thank the Isaac Newton Institute for Mathematical Sciences of Cambridge, England, for its hospitality during the final phase this paper was completed. Hristo Ganchev and Andrea Sorbi 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
Badillo, L., Bianchini, C., Ganchev, H. et al. A note on the enumeration degrees of 1-generic sets. Arch. Math. Logic 55, 405–414 (2016). https://doi.org/10.1007/s00153-015-0471-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-015-0471-6