Depth, Highness and DNR degrees

We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and order-deep C sequences. Our main results are that Martin-Loef random sets are not order-deepC , that every many-one degree contains a set which is...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
Główni autorzy: Moser, Philippe, Stephan, Frank
Format: Artykuł
Wydane: 2015
Hasła przedmiotowe:
Dostęp online:https://arxiv.org/abs/1511.05027
http://arxiv.org/abs/1511.05027
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!