Generalized Nonsplitting in the Recursively Enumerable Degrees
Leonhardi, Steven D.
J. Symbolic Logic, Tome 62 (1997) no. 1, p. 397-437 / Harvested from Project Euclid
We investigate the algebraic structure of the upper semi-lattice formed by the recursively enumerable Turing degrees. The following strong generalization of Lachlan's Nonsplitting Theorem is proved: Given $n \geq 1$, there exists an r.e. degree $\mathbf{d}$ such that the interval $\lbrack\mathbf{d, 0'}\rbrack \subset\mathbf{R}$ admits an embedding of the $n$-atom Boolean algebra $\mathscr{B}_n$ preserving (least and) greatest element, but also such that there is no $(n + 1)$-tuple of pairwise incomparable r.e. degrees above $\mathbf{d}$ which pairwise join to $\mathbf{0'}$ (and hence, the interval $\lbrack\mathbf{d, 0'}\rbrack \subset\mathbf{R}$ does not admit a greatest-element-preserving embedding of any lattice $\mathscr{L}$ which has $n + 1$ co-atoms, including $\mathscr{B}_{n + 1}$). This theorem is the dual of a theorem of Ambos-Spies and Soare, and yields an alternative proof of their result that the theory of $\mathbf{R}$ has infinitely many one-types.
Publié le : 1997-06-14
Classification: 
@article{1183745235,
     author = {Leonhardi, Steven D.},
     title = {Generalized Nonsplitting in the Recursively Enumerable Degrees},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 397-437},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745235}
}
Leonhardi, Steven D. Generalized Nonsplitting in the Recursively Enumerable Degrees. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  397-437. http://gdmltest.u-ga.fr/item/1183745235/