THERE IS NO FAT ORBIT

Authors
DOWNEY R HARRINGTON L
Citation
R. Downey et L. Harrington, THERE IS NO FAT ORBIT, Annals of pure and applied Logic, 80(3), 1996, pp. 277-289
Citations number
15
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
80
Issue
3
Year of publication
1996
Pages
277 - 289
Database
ISI
SICI code
0168-0072(1996)80:3<277:TINFO>2.0.ZU;2-Y
Abstract
We give a proof of a theorem of Harrington that there is no orbit of t he lattice of recursively enumerable sets containing elements of each nonzero recursively enumerable degree. We also establish some degree t heoretical extensions.