LATTICE NONEMBEDDINGS AND INTERVALS OF THE RECURSIVELY-ENUMERABLE DEGREES

Authors
CHOLAK P DOWNEY R
Citation
P. Cholak et R. Downey, LATTICE NONEMBEDDINGS AND INTERVALS OF THE RECURSIVELY-ENUMERABLE DEGREES, Annals of pure and applied Logic, 61(3), 1993, pp. 195-221
Citations number
21
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
61
Issue
3
Year of publication
1993
Pages
195 - 221
Database
ISI
SICI code
0168-0072(1993)61:3<195:LNAIOT>2.0.ZU;2-D
Abstract
Let b and c be r.e. Turing degrees such that b > c. We show that there is an r. e. degree a such that b > a > c and all lattices containing a critical triple, including the lattice M5, cannot be embedded into t he interval [c, a].