Maximal R.E. Equivalence Relations
Carroll, Jeffrey S.
J. Symbolic Logic, Tome 55 (1990) no. 1, p. 1048-1058 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The lattice of r.e. equivalence relations has not been carefully examined even though r.e. equivalence relations have proved useful in logic. A maximal r.e. equivalence relation has the expected lattice theoretic definition. It is proved that, in every pair of r.e. nonrecursive Turing degrees, there exist maximal r.e. equivalence relations which intersect trivially. This is, so far, unique among r.e. submodel lattices.
Publié le : 1990-09-14
Classification:  
@article{1183743405,
     author = {Carroll, Jeffrey S.},
     title = {Maximal R.E. Equivalence Relations},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 1048-1058},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743405}
}

Carroll, Jeffrey S. Maximal R.E. Equivalence Relations. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  1048-1058. http://gdmltest.u-ga.fr/item/1183743405/