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...

Full description

Saved in:
Bibliographic Details
Published in:Discrete Mathematics and Theoretical Computer Science Vol. 19; no. 4; p. 1
Main Authors: Moser, Philippe, Stephan, Frank
Format: Journal Article
Language:English
Published: Nancy DMTCS 01.12.2017
Subjects:
ISSN:1462-7264, 1365-8050
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first