248 research outputs found
Open questions about Ramsey-type statements in reverse mathematics
Ramsey's theorem states that for any coloring of the n-element subsets of N
with finitely many colors, there is an infinite set H such that all n-element
subsets of H have the same color. The strength of consequences of Ramsey's
theorem has been extensively studied in reverse mathematics and under various
reducibilities, namely, computable reducibility and uniform reducibility. Our
understanding of the combinatorics of Ramsey's theorem and its consequences has
been greatly improved over the past decades. In this paper, we state some
questions which naturally arose during this study. The inability to answer
those questions reveals some gaps in our understanding of the combinatorics of
Ramsey's theorem.Comment: 15 page
Controlling iterated jumps of solutions to combinatorial problems
Among the Ramsey-type hierarchies, namely, Ramsey's theorem, the free set,
the thin set and the rainbow Ramsey theorem, only Ramsey's theorem is known to
collapse in reverse mathematics. A promising approach to show the strictness of
the hierarchies would be to prove that every computable instance at level n has
a low_n solution. In particular, this requires effective control of iterations
of the Turing jump. In this paper, we design some variants of Mathias forcing
to construct solutions to cohesiveness, the Erdos-Moser theorem and stable
Ramsey's theorem for pairs, while controlling their iterated jumps. For this,
we define forcing relations which, unlike Mathias forcing, have the same
definitional complexity as the formulas they force. This analysis enables us to
answer two questions of Wei Wang, namely, whether cohesiveness and the
Erdos-Moser theorem admit preservation of the arithmetic hierarchy, and can be
seen as a step towards the resolution of the strictness of the Ramsey-type
hierarchies.Comment: 32 page
The weakness of the pigeonhole principle under hyperarithmetical reductions
The infinite pigeonhole principle for 2-partitions ()
asserts the existence, for every set , of an infinite subset of or of
its complement. In this paper, we study the infinite pigeonhole principle from
a computability-theoretic viewpoint. We prove in particular that
admits strong cone avoidance for arithmetical and
hyperarithmetical reductions. We also prove the existence, for every
set, of an infinite low subset of it or its complement. This
answers a question of Wang. For this, we design a new notion of forcing which
generalizes the first and second-jump control of Cholak, Jockusch and Slaman.Comment: 29 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
Ramsey-type graph coloring and diagonal non-computability
A function is diagonally non-computable (d.n.c.) if it diagonalizes against
the universal partial computable function. D.n.c. functions play a central role
in algorithmic randomness and reverse mathematics. Flood and Towsner asked for
which functions h, the principle stating the existence of an h-bounded d.n.c.
function (DNR_h) implies the Ramsey-type K\"onig's lemma (RWKL). In this paper,
we prove that for every computable order h, there exists an~-model of
DNR_h which is not a not model of the Ramsey-type graph coloring principle for
two colors (RCOLOR2) and therefore not a model of RWKL. The proof combines
bushy tree forcing and a technique introduced by Lerman, Solomon and Towsner to
transform a computable non-reducibility into a separation over omega-models.Comment: 18 page
A Galois connection between Turing jumps and limits
Limit computable functions can be characterized by Turing jumps on the input
side or limits on the output side. As a monad of this pair of adjoint
operations we obtain a problem that characterizes the low functions and dually
to this another problem that characterizes the functions that are computable
relative to the halting problem. Correspondingly, these two classes are the
largest classes of functions that can be pre or post composed to limit
computable functions without leaving the class of limit computable functions.
We transfer these observations to the lattice of represented spaces where it
leads to a formal Galois connection. We also formulate a version of this result
for computable metric spaces. Limit computability and computability relative to
the halting problem are notions that coincide for points and sequences, but
even restricted to continuous functions the former class is strictly larger
than the latter. On computable metric spaces we can characterize the functions
that are computable relative to the halting problem as those functions that are
limit computable with a modulus of continuity that is computable relative to
the halting problem. As a consequence of this result we obtain, for instance,
that Lipschitz continuous functions that are limit computable are automatically
computable relative to the halting problem. We also discuss 1-generic points as
the canonical points of continuity of limit computable functions, and we prove
that restricted to these points limit computable functions are computable
relative to the halting problem. Finally, we demonstrate how these results can
be applied in computable analysis
The weakness of being cohesive, thin or free in reverse mathematics
Informally, a mathematical statement is robust if its strength is left
unchanged under variations of the statement. In this paper, we investigate the
lack of robustness of Ramsey's theorem and its consequence under the frameworks
of reverse mathematics and computable reducibility. To this end, we study the
degrees of unsolvability of cohesive sets for different uniformly computable
sequence of sets and identify different layers of unsolvability. This analysis
enables us to answer some questions of Wang about how typical sets help
computing cohesive sets.
We also study the impact of the number of colors in the computable
reducibility between coloring statements. In particular, we strengthen the
proof by Dzhafarov that cohesiveness does not strongly reduce to stable
Ramsey's theorem for pairs, revealing the combinatorial nature of this
non-reducibility and prove that whenever is greater than , stable
Ramsey's theorem for -tuples and colors is not computably reducible to
Ramsey's theorem for -tuples and colors. In this sense, Ramsey's
theorem is not robust with respect to his number of colors over computable
reducibility. Finally, we separate the thin set and free set theorem from
Ramsey's theorem for pairs and identify an infinite decreasing hierarchy of
thin set theorems in reverse mathematics. This shows that in reverse
mathematics, the strength of Ramsey's theorem is very sensitive to the number
of colors in the output set. In particular, it enables us to answer several
related questions asked by Cholak, Giusto, Hirst and Jockusch.Comment: 31 page
- …