The tree pigeonhole principle in the Weihrauch degrees
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916694013771776 |
|---|---|
| author | Dzhafarov, Damir Solomon, Reed Valenti, Manlio |
| author_facet | Dzhafarov, Damir Solomon, Reed Valenti, Manlio |
| contents | We study versions of the tree pigeonhole principle, $\mathsf{TT}^1$, in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensive research in reverse mathematics. Two outstanding questions from the latter investigation are whether $\mathsf{TT}^1$ is $Π^1_1$-conservative over the ordinary pigeonhole principle, $\mathsf{RT}^1$, and whether it is equivalent to any first-order statement of second-order arithmetic. Using the recently introduced notion of the first-order part of an instance-solution problem, we formulate, and answer in the affirmative, the analogue of the first question for Weihrauch reducibility. We then use this, in combination with other results, to answer in the negative the analogue of the second question. Our proofs develop a new combinatorial machinery for constructing and understanding solutions to instances of $\mathsf{TT}^1$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_10535 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The tree pigeonhole principle in the Weihrauch degrees Dzhafarov, Damir Solomon, Reed Valenti, Manlio Logic 03D78, 03D30, 03B30, 05C55, 05C05 We study versions of the tree pigeonhole principle, $\mathsf{TT}^1$, in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensive research in reverse mathematics. Two outstanding questions from the latter investigation are whether $\mathsf{TT}^1$ is $Π^1_1$-conservative over the ordinary pigeonhole principle, $\mathsf{RT}^1$, and whether it is equivalent to any first-order statement of second-order arithmetic. Using the recently introduced notion of the first-order part of an instance-solution problem, we formulate, and answer in the affirmative, the analogue of the first question for Weihrauch reducibility. We then use this, in combination with other results, to answer in the negative the analogue of the second question. Our proofs develop a new combinatorial machinery for constructing and understanding solutions to instances of $\mathsf{TT}^1$. |
| title | The tree pigeonhole principle in the Weihrauch degrees |
| topic | Logic 03D78, 03D30, 03B30, 05C55, 05C05 |
| url | https://arxiv.org/abs/2312.10535 |