A set with barely degree

1999 ◽  
Vol 64 (4) ◽  
pp. 1700-1718
Author(s):  
Rod Downey ◽  
Geoffrey Laforte ◽  
Steffen Lempp
Keyword(s):  
Computably Enumerable Set ◽  
Computably Enumerable

AbstractWe construct a degree which fails to be computably enumerable in any computably enumerable set strictly below .

Ramsey's theorem for computably enumerable colorings

2001 ◽  
Vol 66 (2) ◽  
pp. 873-880 ◽  
Author(s):  
Tamara J. Hummel ◽  
Carl G. Jockusch
Keyword(s):  
Analogous Result ◽  
Computably Enumerable Set ◽  
Ramsey's Theorem ◽  
Ramsey’S Theorem ◽  
Computably Enumerable

AbstractIt is shown that for each computably enumerable set of n-element subsets of ω there is an infinite set A ⊆ ω such that either all n-element subsets of A are in or no n-element subsets of A are in . An analogous result is obtained with the requirement that A be replaced by the requirement that the jump of A be computable from 0(n). These results are best possible in various senses.

A random set which only computes strongly jump-traceable c.e. sets

2011 ◽  
Vol 76 (2) ◽  
pp. 700-718 ◽  
Author(s):  
Noam Greenberg
Keyword(s):  
Random Sets ◽  
Random Set ◽  
Computably Enumerable Set ◽  
Order Function ◽  
Computably Enumerable

AbstractWe prove that there is a , 1-random set Y such that every computably enumerable set which is computable from Y is strongly jump-traceable.We also show that for every order function h there is an ω-c.e. random set Y such that every computably enumerable set which is computable from Y is h-jump-traceable. This establishes a correspondence between rates of jump-traceability and computability from ω-c.e. random sets.

Splittings of effectively speedable sets and effectively levelable sets

2004 ◽  
Vol 69 (1) ◽  
pp. 143-158
Author(s):  
Roland SH. Omanadze
Keyword(s):  
Computably Enumerable Set ◽  
Computably Enumerable

AbstractWe prove that a computably enumerable set A is effectively speedable (effectively levelable) if and only if there exists a splitting (A0, A1) of A such that both A0 and A1 are effectively speedable (effectively levelable). These results answer two questions raised by J. B. Remmel.

scholarly journals ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS

2013 ◽  
Vol 13 (02) ◽  
pp. 1350005 ◽  
Author(s):  
RODNEY G. DOWNEY ◽  
CARL G. JOCKUSCH ◽  
PAUL E. SCHUPP
Keyword(s):  
Computational Complexity ◽  
Unit Interval ◽  
Current Paper ◽  
Asymptotic Density ◽  
Close Connection ◽  
Computably Enumerable Set ◽  
Computably Enumerable Sets ◽  
Small Density ◽  
High Degree ◽  
Computably Enumerable

We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this result in three different ways: (i) The degrees of such sets A are precisely the nonlow c.e. degrees. (ii) There is a c.e. set A of density 1 with no computable subset of nonzero density. (iii) There is a c.e. set A of density 1 such that every subset of A of density 1 is of high degree. We also study the extent to which c.e. sets A can be approximated by their computable subsets B in the sense that A\B has small density. There is a very close connection between the computational complexity of a set and the arithmetical complexity of its density and we characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study the notion of "computable at density r" where r is a real in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity, hyperimmunity, and cohesiveness.

Contiguity and distributivity in the enumerable Turing degrees — Corrigendum

2002 ◽  
Vol 67 (4) ◽  
pp. 1579-1580
Author(s):  
Rodney G. Downey ◽  
Steffen Lempp
Keyword(s):  
Truth Table ◽  
Turing Degree ◽  
Turing Degrees ◽  
Computably Enumerable Set ◽  
Enumerable Degree ◽  
Computably Enumerable Sets ◽  
Image Position ◽  
Computably Enumerable Degree ◽  
Computably Enumerable

A computably enumerable Turing degree a is called contiguous iff it contains only a single computably enumerable weak truth table degree (Ladner and Sasso [2]). In [1], the authors proved that a nonzero computably enumerable degree a is contiguous iff it is locally distributive, that is, for all a1, a2, c with a1 ∪a2 = a and c ≤ a, there exist ci, ≤ ai with c1 ∪ c2 = c.To do this we supposed that W was a computably enumerable set and ∪ a computably set with a Turing functional Φ such that ΦW = U. Then we constructed computably enumerable sets A0, A1 and B together with functionals Γ0, Γ1, Γ, and Δ so thatand so as to satisfy all the requirements below.That is, we built a degree-theoretical splitting A0, A1 of W and a set B ≤TW such that if we cannot beat all possible degree-theoretical splittings V0, V1 of B then we were able to witness the fact that U ≤WW (via Λ).After the proof it was observed that the set U of the proof (page 1222, paragraph 4) needed only to be Δ20. It was then claimed that a consequence to the proof was that every contiguous computably enumerable degree was, in fact, strongly contiguous, in the sense that all (not necessarily computably enumerable) sets of the degree had the same weak truth table degree.

Implicit measurements of dynamic complexity properties and splittings of speedable sets

1999 ◽  
Vol 64 (3) ◽  
pp. 1037-1064 ◽  
Author(s):  
Michael A. Jahn
Keyword(s):  
Complexity Theory ◽  
Dynamic Complexity ◽  
Direct Construction ◽  
Computably Enumerable Set ◽  
Computably Enumerable Sets ◽  
Disjoint Pair ◽  
Tree Construction ◽  
Self Similar ◽  
Recursion Theorem ◽  
Computably Enumerable

AbstractWe prove that any speedable computably enumerable set may be split into a disjoint pair of speedable computably enumerable sets. This solves a longstanding question of J.B. Remmel concerning the behavior of computably enumerable sets in Blum's machine independent complexity theory. We specify dynamic requirements and implement a novel way of detecting speedability—by embedding the relevant measurements into the substage structure of the tree construction. Technical difficulties in satisfying the dynamic requirements lead us to implement “local” strategies that only look down the tree. The (obvious) problems with locality are then resolved by placing an isomorphic copy of the entire priority tree below each strategy (yielding a self-similar tree). This part of the construction could be replaced by an application of the Recursion Theorem, but shows how to achieve the same effect with a more direct construction.

scholarly journals Definable properties of the computably enumerable sets

1998 ◽  
Vol 94 (1-3) ◽  
pp. 97-125 ◽  
Author(s):  
Leo Harrington ◽  
Robert I. Soare
Keyword(s):  
Computably Enumerable Sets ◽  
Computably Enumerable
Sign in / Sign up

Export Citation Format

Share Document