Back to Search
Start Over
Closed left-r.e. sets.
- 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