Back to Search Start Over

Closed left-r.e. sets.

Authors :
Jain, Sanjay
Stephan, Frank
Teutsch, Jason
Source :
Computability. 2017, Vol. 6 Issue 1, p1-21. 21p.
Publication Year :
2017

Abstract

A set is called r-closed left-r.e. iff every set r-reducible to it is also a left-r.e. set. It is shown that some but not all leftr. e. cohesive sets are many-one closed left-r.e. sets. Ascending reductions are many-one reductions via an ascending function; left-r.e. cohesive sets are also ascending closed left-r.e. sets. Furthermore, it is shown that there is a weakly 1-generic many-one closed left-r.e. set. We also consider initial segment complexity of closed left-r.e. sets. We show that initial segment complexity of ascending closed left-r.e. sets is of sublinear order. Furthermore, this is near optimal as for any non-decreasing unbounded recursive function g, there are ascending closed left-r.e. sets A whose plain complexity satisfies C(A(0)A(1) … A(n)) ≥ n/g(n) for all but finitely many n. The initial segment complexity of a conjunctively (or disjunctively) closed left-r.e. set satisfies, for all ε > 0, for all but finitely many n, C(A(0)A(1) … A(n)) ≤ (2 + ε) log(n). [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
22113568
Volume :
6
Issue :
1
Database :
Academic Search Index
Journal :
Computability
Publication Type :
Academic Journal
Accession number :
120365854
Full Text :
https://doi.org/10.3233/COM-160054