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)-[deep.sub.K], O(1)-[deep.sub.C], order-[deep.sub.K] and order-[deep.sub.C] sequences. Our main results are that Martin-Lof random sets are not order-[deep.sub.C], that every many-one...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Discrete Mathematics and Theoretical Computer Science Jg. 19; H. 4; S. 1
Hauptverfasser:	Moser, Philippe, Stephan, Frank
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Nancy DMTCS 01.12.2017
Schlagworte:	Algorithms Computation Fuzzy sets Logic Mathematical research Numbers, Random Sequences Set theory Singapore
ISSN:	1462-7264, 1365-8050
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!