Some undecidability results for lattices in recursion theory.
Carroll, Jeffrey S.
Pacific J. Math., Tome 125 (1986) no. 2, p. 319-331 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1986-05-14
Classification:  03D25,  03D35,  03D45 
@article{1102701887,
     author = {Carroll, Jeffrey S.},
     title = {Some undecidability results for lattices in recursion theory.},
     journal = {Pacific J. Math.},
     volume = {125},
     number = {2},
     year = {1986},
     pages = { 319-331},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102701887}
}

Carroll, Jeffrey S. Some undecidability results for lattices in recursion theory.. Pacific J. Math., Tome 125 (1986) no. 2, pp.  319-331. http://gdmltest.u-ga.fr/item/1102701887/