English

Generalized low solution of $\mathsf{RT}_k^1$ problem

Logic 2016-03-01 v2

Abstract

We study the "coding power" of an arbitrary RTk1\mathsf{RT}_k^1-instance. We prove that every RTk1\mathsf{RT}_k^1-instance admit non trivial generalized low solution. This is somewhat related to a problem proposed by Patey. We also answer a question proposed by Liu, i.e., we prove that there exists a 0\mathbf{0}'-computable RT31\mathsf{RT}_3^1-instance, I31I_3^1, such that every RT21\mathsf{RT}_2^1-instance admit a non trivial solution that does not compute any non trivial solution of I31I_3^1.

Cite

@article{arxiv.1602.06232,
  title  = {Generalized low solution of $\mathsf{RT}_k^1$ problem},
  author = {Lu Liu},
  journal= {arXiv preprint arXiv:1602.06232},
  year   = {2016}
}

Comments

14 pages

R2 v1 2026-06-22T12:53:55.611Z