Generalized low solution of $\mathsf{RT}_k^1$ problem
Logic
2016-03-01 v2
Abstract
We study the "coding power" of an arbitrary -instance. We prove that every -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 -computable -instance, , such that every -instance admit a non trivial solution that does not compute any non trivial solution of .
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