Degree invariance in the Π01 classes
Rebecca Weber
Source: J. Symbolic Logic Volume 76, Issue 4
(2011), 1184-1210.
Abstract
Let ℰΠ denote the collection of all Π01 classes, ordered by inclusion. A collection of Turing degrees 𝒞 is called invariant over ℰΠ if there is some collection 𝒮 of Π01 classes representing exactly the degrees in 𝒞 such that 𝒮 is invariant under automorphisms of ℰΠ. Herein we expand the known degree invariant classes of ℰΠ, previously including only {0} and the array noncomputable degrees, to include all highn and non-lown degrees for n≥2. This is a corollary to a very general definability result. The result is carried out in a substructure G of ℰΠ, within which the techniques used model those used by Cholak and Harrington [6] to obtain the same definability for the c.e. sets. We work back and forth between G and ℰΠ to show that this definability in G gives the desired degree invariance over ℰΠ.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1318338845
Digital Object Identifier: doi:10.2178/jsl/1318338845
Mathematical Reviews number (MathSciNet): MR2895392
References
D. Cenzer, $\Pi\sp 0\sb 1$ classes in computability theory, Handbook of computability theory (E. R. Griffor, editor), Studies in Logic and the Foundations of Mathematics, vol. 140, North-Holland, Amsterdam, 1999, pp. 37–85.
Mathematical Reviews (MathSciNet): MR1720779
Zentralblatt MATH: 0939.03047
Digital Object Identifier: doi:10.1016/S0049-237X(99)80018-4
D. Cenzer and C. G. Jockusch, Jr., $\Pi\sb 1\sp 0$ classes–-structure and applications, Computability theory and its applications (Boulder, CO, 1999), Contemporary Mathematics, vol. 257, American Mathematical Society, Providence, RI, 2000, pp. 39–59.
D. Cenzer and A. Nies, Global properties of the lattice of $\Pi\sb 1\sp 0$ classes, Proceedings of the American Mathematical Society, vol. 132 (2004), pp. 239–249.
Mathematical Reviews (MathSciNet): MR2021268
Zentralblatt MATH: 1042.03031
Digital Object Identifier: doi:10.1090/S0002-9939-03-06984-3
D. Cenzer and J. B. Remmel, $\Pi\sp 0\sb 1$ classes in mathematics, Handbook of recursive mathematics, Volume 2 (Y. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, editors), Studies in Logic and the Foundations of Mathematics, vol. 139, North-Holland, Amsterdam, 1998, pp. 623–821.
Mathematical Reviews (MathSciNet): MR1673586
Zentralblatt MATH: 0941.03044
P. A. Cholak, R. Coles, R. G. Downey, and E. Herrmann, Automorphisms of the lattice of $\Pi\sp 0\sb 1$ classes: perfect thin classes and anc degrees, Transactions of the American Mathematical Society, vol. 353 (2001), no. 12, pp. 4899–4924, (electronic).
Mathematical Reviews (MathSciNet): MR1852086
Zentralblatt MATH: 0978.03033
Digital Object Identifier: doi:10.1090/S0002-9947-01-02821-5
P. A. Cholak and L. A. Harrington, On the definability of the double jump in the computably enumerable sets, Journal of Mathematical Logic, vol. 2 (2002), no. 2, pp. 261–296.
Mathematical Reviews (MathSciNet): MR1938925
Zentralblatt MATH: 1043.03034
Digital Object Identifier: doi:10.1142/S0219061302000151
Rod Downey, Undecidability of $L(F\sb \infty)$ and other lattices of r.e. substructures, Annals of Pure and Applied Logic, vol. 32 (1986), no. 1, pp. 17–26.
Mathematical Reviews (MathSciNet): MR857704
Digital Object Identifier: doi:10.1016/0168-0072(86)90041-2
––––, Correction to: “Undecidability of $L(F\sb \infty)$ and other lattices of r.e. substructures” \normalfontin [Downey:86?], Annals of Pure and Applied Logic, vol. 48(1990), no. 3, pp. 299–301.
L. A. Harrington and R. I. Soare, Definability, automorphisms, and dynamic properties of computably enumerable sets, Bulletin of Symbolic Logic, vol. 2 (1996), no. 2, pp. 199–213.
Mathematical Reviews (MathSciNet): MR1396855
Zentralblatt MATH: 0858.03044
Digital Object Identifier: doi:10.2307/421110
A. H. Lachlan, Degrees of recursively enumerable sets which have no maximal supersets, Journal of Symbolic Logic, vol. 33 (1968), pp. 431–443.
Mathematical Reviews (MathSciNet): MR236016
Zentralblatt MATH: 0197.00502
Digital Object Identifier: doi:10.2307/2270328
M. Lerman and R. I. Soare, D-simple sets, small sets, and degree classes, Pacific Journal of Mathematics, vol. 87 (1980), no. 1, pp. 135–155.
Mathematical Reviews (MathSciNet): MR590872
Zentralblatt MATH: 0467.03040
Project Euclid: euclid.pjm/1102780321
D. A. Martin, Classes of recursively enumerable sets and degrees of unsolvability, Zeitschrift für die Mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 295–310.
Mathematical Reviews (MathSciNet): MR224469
Anil Nerode and Jeffrey Remmel, A survey of lattices of r.e. substructures, Recursion theory (Ithaca, N.Y., 1982), Proceedings of Symposia in Pure Mathematics, vol. 42, American Mathematical Society, Providence, RI, 1985, pp. 323–375.
Mathematical Reviews (MathSciNet): MR791067
Zentralblatt MATH: 0573.03015
Jeffrey B. Remmel, Recursion theory on algebraic structures with independent sets, Annals of Mathematical Logic, vol. 18 (1980), no. 2, pp. 153–191.
Mathematical Reviews (MathSciNet): MR578542
Zentralblatt MATH: 0471.03037
Digital Object Identifier: doi:10.1016/0003-4843(80)90016-9
J. R. Schoenfield, Degrees of classes of recursively enumerable sets, Journal of Symbolic Logic, vol. 41 (1976), pp. 695–696.
R. I. Soare, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer–Verlag, Heidelberg, 1987.
R. Weber, Invariance in $\mathcalE^*$ and $\mathcalE_\Pi$, Transactions of the American Mathematical Society, vol. 358 (2006), pp. 3023–3059.
Mathematical Reviews (MathSciNet): MR2216257
Zentralblatt MATH: 1093.03026
Digital Object Identifier: doi:10.1090/S0002-9947-06-03984-5
