English

Ramsey-type graph coloring and diagonal non-computability

Logic 2014-12-03 v1

Abstract

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~ω\omega-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.

Keywords

Cite

@article{arxiv.1412.0917,
  title  = {Ramsey-type graph coloring and diagonal non-computability},
  author = {Ludovic Patey},
  journal= {arXiv preprint arXiv:1412.0917},
  year   = {2014}
}

Comments

18 pages

R2 v1 2026-06-22T07:18:07.182Z