Skip to main content Accessibility help
×
Home

Low Level Nondelegability Results: Domination and Recursive Enumeration

  • Mingzhong Cai (a1) and Richard A. Shore (a2)

Abstract

We study low level nondefinability in the Turing degrees. We prove a variety of results, including, for example, that being array nonrecursive is not definable by a Σ1 or Π1 formula in the language (≤, REA) where REA stands for the “r.e. in and above” predicate. In contrast, this property is definable by a Π2 formula in this language. We also show that the Σ1-theory of (, ≤, REA) is decidable.

Copyright

References

Hide All
[1] Cai, M., A hyperimmune minimal degree and an ANR 2-minimal degree, Notre Dame Journal of Formal Logic, vol. 51 (2010), no. 4, pp. 443455.
[2] Cai, M., Array nonrecursiveness and relative recursive enumerability, this Journal, vol. 77 (2012), pp. 2132.
[3] Cai, M. and Shore, R. A., Domination, forcing, array nonrecursiveness and relative recursive enumerability, this Journal, vol. 77 (2012), pp. 3348.
[4] Downey, R., Jockusch, C., and Stob, M., Array nonrecursive degrees and genericity, London Mathematical Society Lecture Note Series 224, Cambridge University Press, 1996.
[5] Friedberg, R. M., A criterion for completeness of degrees of unsolvability, this Journal, vol. 22 (1957), pp. 159160.
[6] Hinman, P. G. and Slaman, T. A., Jump embeddings in the Turing degrees, this Journal, vol. 56 (1991), pp. 563591.
[7] Jockusch, C., The degrees of hyperhyperimmune sets, this Journal, vol. 34 (1969), no. 3, pp. 489493.
[8] Jockusch, C. G., Degrees of generic sets, Recursion theory: its generalisations and applications (Drake, F. R. and Wainer, S. S., editors), Cambridge University Press, 1980, pp. 110139.
[9] Jockusch, C. G. Jr., and Shore, R. A., Pseudo-jump operators II: transfinite iterations, hierarchies andminimal covers, this Journal, vol. 49 (1984), pp. 12051236.
[10] Lerman, M., Degrees of unsolvability: Local and global theory, Perspectives in Mathematical Logic, vol. 11, Springer-Verlag, 1983.
[11] Lerman, M. and Shore, R. A., Decidability and invariant classes for degree structures, Transactions of the American Mathematical Society, vol. 310 (1988), pp. 669692.
[12] Miller, W. and Martin, D. A., The degrees of hyperimmune sets, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 159166.
[13] Montalbán, A., Embedding jump upper semilattices into the Turing degrees, this Journal, vol. 68 (2003), no. 3, pp. 9891014.
[14] Schaeffer, B., Dynamic notions of genericity and array noncomputability, Annals of Pure and Applied Logic, vol. 95 (1998), pp. 3769.
[15] Shore, R. A., Minimal degrees which are but not , Proceedings of the American Mathematical Society, vol. 132 (2004), pp. 563565.
[16] Shore, R. A., Direct and local definitions of the Turing jump, Journal of Mathematical Logic, vol. 7 (2007), pp. 229262.
[17] Shore, R. A. and Slaman, T. A., Defining the Turing jump, Mathematical Research Letters, vol. 6 (1999), pp. 711722.
[18] Slaman, T. A., Global properties of the Turing degrees and the Turing jump, Computational prospects of infinity, Part I, Tutorials, Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore, World Science Publishers, Hackensack, NJ, 2008, pp. 83101.
[19] Soare, R. I., Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.
[20] Spector, C., On degrees of recursive unsolvability, Annals of Mathematics, vol. 64 (1956), no. 3, pp. 581592.

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed