On the $T$-Degrees of Partial Functions
Casalegno, Paolo
J. Symbolic Logic, Tome 50 (1985) no. 1, p. 580-588 / Harvested from Project Euclid
Let $\langle\mathscr{T},\leq\rangle$ be the usual structure of the degrees of unsolvability and $\langle\mathscr{D},\leq\rangle$ the structure of the $T$-degrees of partial functions defined in [7]. We prove that every countable distributive lattice with a least element can be isomorphically embedded as an initial segment of $\langle\mathscr{D},\leq\rangle$: as a corollary, the first order theory of $\langle\mathscr{D},\leq\rangle$ is recursively isomorphic to that of $\langle\mathscr{T},\leq\rangle$. We also show that $\langle\mathscr{D},\leq\rangle$ and $\langle\mathscr{T},\leq\rangle$ are not elementarily equivalent.
Publié le : 1985-09-14
Classification: 
@article{1183741896,
     author = {Casalegno, Paolo},
     title = {On the $T$-Degrees of Partial Functions},
     journal = {J. Symbolic Logic},
     volume = {50},
     number = {1},
     year = {1985},
     pages = { 580-588},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741896}
}
Casalegno, Paolo. On the $T$-Degrees of Partial Functions. J. Symbolic Logic, Tome 50 (1985) no. 1, pp.  580-588. http://gdmltest.u-ga.fr/item/1183741896/