English

Borel combinatorics fail in HYP

Logic 2022-03-03 v2

Abstract

We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, that the Borel Dual Ramsey Theorem fails, and that every Borel d-regular bipartite graph has a Borel perfect matching, among other examples. Therefore, the Borel Dual Ramsey Theorem and several theorems of descriptive combinatorics are not theories of hyperarithmetic analysis. In the case of the Borel Dual Ramsey Theorem, this answers a question of Astor, Dzhafarov, Montalban, Solomon & the third author.

Cite

@article{arxiv.2106.13330,
  title  = {Borel combinatorics fail in HYP},
  author = {Henry Towsner and Rose Weisshaar and Linda Westrick},
  journal= {arXiv preprint arXiv:2106.13330},
  year   = {2022}
}

Comments

19 pages

R2 v1 2026-06-24T03:34:46.859Z