Boolean Algebras, Stone Spaces, and the Iterated Turing Jump
Jockusch, Carl G. ; Soare, Robert I.
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 1121-1138 / Harvested from Project Euclid
We show, roughly speaking, that it requires $\omega$ iterations of the Turing jump to decode nontrivial information from Boolean algebras in an isomorphism invariant fashion. More precisely, if $\alpha$ is a recursive ordinal, $\mathscr{A}$ is a countable structure with finite signature, and $\mathbf{d}$ is a degree, we say that $\mathscr{A}$ has $\alpha$th-jump degree $\mathbf{d}$ if $\mathbf{d}$ is the least degree which is the $\alpha$th jump of some degree $\mathbf{c}$ such there is an isomorphic copy of $\mathscr{A}$ with universe $\omega$ in which the functions and relations have degree at most $\mathbf{c}$. We show that every degree $\mathbf{d} \geq 0^{(\omega)}$ is the $\omega$th jump degree of a Boolean algebra, but that for $n < \omega$ no Boolean algebra has $n$th-jump degree $\mathbf{d} > 0^{(n)}$. The former result follows easily from work of L. Feiner. The proof of the latter result uses the forcing methods of J. Knight together with an analysis of various equivalences between Boolean algebras based on a study of their Stone spaces. A byproduct of the proof is a method for constructing Stone spaces with various prescribed properties.
Publié le : 1994-12-14
Classification: 
@article{1183744615,
     author = {Jockusch, Carl G. and Soare, Robert I.},
     title = {Boolean Algebras, Stone Spaces, and the Iterated Turing Jump},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 1121-1138},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744615}
}
Jockusch, Carl G.; Soare, Robert I. Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  1121-1138. http://gdmltest.u-ga.fr/item/1183744615/