196 research outputs found
Characterizing the strongly jump-traceable sets via randomness
We show that if a set is computable from every superlow 1-random set,
then is strongly jump-traceable. This theorem shows that the computably
enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets
computable from every superlow 1-random set.
We also prove the analogous result for superhighness: a c.e.\ set is strongly
jump-traceable if and only if it is computable from every superhigh 1-random
set.
Finally, we show that for each cost function with the limit condition
there is a 1-random set such that every c.e.\ set
obeys . To do so, we connect cost function strength and the strength of
randomness notions. This result gives a full correspondence between obedience
of cost functions and being computable from 1-random sets.Comment: 41 page
Iterative forcing and hyperimmunity in reverse mathematics
The separation between two theorems in reverse mathematics is usually done by
constructing a Turing ideal satisfying a theorem P and avoiding the solutions
to a fixed instance of a theorem Q. Lerman, Solomon and Towsner introduced a
forcing technique for iterating a computable non-reducibility in order to
separate theorems over omega-models. In this paper, we present a modularized
version of their framework in terms of preservation of hyperimmunity and show
that it is powerful enough to obtain the same separations results as Wang did
with his notion of preservation of definitions.Comment: 15 page
Degree spectra of relations on structures of finite computable dimension
AbstractWe show that for every computably enumerable (c.e.) degree a>0 there is an intrinsically c.e. relation on the domain of a computable structure of computable dimension 2 whose degree spectrum is {0,a}, thus answering a question of Goncharov and Khoussainov (Dokl. Math. 55 (1997) 55–57). We also show that this theorem remains true with α-c.e. in place of c.e. for any α∈ω∪{ω}. A modification of the proof of this result similar to what was done in Hirschfeldt (J. Symbolic Logic, to appear) shows that for any α∈ω∪{ω} and any α-c.e. degrees a0,…,an there is an intrinsically α-c.e. relation on the domain of a computable structure of computable dimension n+1 whose degree spectrum is {a0,…,an}. These results also hold for m-degree spectra of relations
The cohesive principle and the Bolzano-Weierstra{\ss} principle
The aim of this paper is to determine the logical and computational strength
of instances of the Bolzano-Weierstra{\ss} principle (BW) and a weak variant of
it.
We show that BW is instance-wise equivalent to the weak K\"onig's lemma for
-trees (-WKL). This means that from every bounded
sequence of reals one can compute an infinite -0/1-tree, such that
each infinite branch of it yields an accumulation point and vice versa.
Especially, this shows that the degrees d >> 0' are exactly those containing an
accumulation point for all bounded computable sequences.
Let BW_weak be the principle stating that every bounded sequence of real
numbers contains a Cauchy subsequence (a sequence converging but not
necessarily fast). We show that BW_weak is instance-wise equivalent to the
(strong) cohesive principle (StCOH) and - using this - obtain a classification
of the computational and logical strength of BW_weak. Especially we show that
BW_weak does not solve the halting problem and does not lead to more than
primitive recursive growth. Therefore it is strictly weaker than BW. We also
discuss possible uses of BW_weak.Comment: corrected typos, slightly improved presentatio
- …