Corpus ID: 85465466

Effectiveness for the Dual Ramsey Theorem

@article{Dzhafarov2017EffectivenessFT,
  title={Effectiveness for the Dual Ramsey Theorem},
  author={Damir D. Dzhafarov and S. Flood and R. Solomon and L. Westrick},
  journal={arXiv: Logic},
  year={2017}
}
  • Damir D. Dzhafarov, S. Flood, +1 author L. Westrick
  • Published 2017
  • Mathematics
  • arXiv: Logic
  • We analyze the Dual Ramsey Theorem for $k$ partitions and $\ell$ colors ($\mathsf{DRT}^k_\ell$) in the context of reverse math, effective analysis, and strong reductions. Over $\mathsf{RCA}_0$, the Dual Ramsey Theorem stated for Baire colorings is equivalent to the statement for clopen colorings and to a purely combinatorial theorem $\mathsf{cDRT}^k_\ell$. When the theorem is stated for Borel colorings and $k\geq 3$, the resulting principles are essentially relativizations of $\mathsf{cDRT}^k_… CONTINUE READING
    5 Citations

    Figures from this paper

    Completely determined Borel sets and measurability
    • 1
    • PDF
    The determined Property of Baire in Reverse Math
    • 3
    • PDF
    A computable analysis of variable words theorems
    • 2
    • PDF
    An update on Weihrauch complexity, and some open questions
    • PDF

    References

    SHOWING 1-10 OF 18 REFERENCES
    Effectiveness for infinite variable words and the Dual Ramsey Theorem
    • 5
    • PDF
    A Dual Form of Ramsey's Theorem
    • 120
    • PDF
    The Carlson-Simpson Lemma in Reverse Mathematics
    • 1
    On notions of computability-theoretic reduction between Π21 principles
    • 27
    • PDF
    Strong Reductions between Combinatorial Principles
    • 21
    • PDF
    On the role of the collection principle for Sigma^0_2-formulas in second-order reverse mathematics
    • 41
    • Highly Influential
    • PDF
    RANKED STRUCTURES AND ARITHMETIC TRANSFINITE RECURSION
    • 15
    • Highly Influential
    • PDF
    Theory of Recursive Functions and Effective Computability
    • 1,121
    • PDF
    Higher Recursion Theory
    • 390
    Computable structures and the hyperarithmetical hierarchy
    • 370
    • Highly Influential