A Topological Rainbow Ramsey Theorem
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915993296568320 |
|---|---|
| author | Jakob, Hannes Zhang, Jing |
| author_facet | Jakob, Hannes Zhang, Jing |
| contents | We show that it is consistent relative to the existence of suitable large cardinals that for any countable-to-one coloring $c: [ω_2]^2\to ω_2$, there exists a closed subset $A\subseteq ω_2$ of order type $ω_1$ such that $c\restriction [A]^2$ is injective. This theorem simultaneously strengthens two theorems, one by Abraham, Cummings and Smyth and another one by Garti and Zhang, as well as answers a question raised by Garti and Zhang. New combinatorial principles involving towers of countable elementary submodels, games concerning regressive functions and variants of strong Chang's conjecture, which are key elements of the proof, are investigated. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_03828 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A Topological Rainbow Ramsey Theorem Jakob, Hannes Zhang, Jing Logic Primary: 03E02, Secondary: 03E25, 03E55 We show that it is consistent relative to the existence of suitable large cardinals that for any countable-to-one coloring $c: [ω_2]^2\to ω_2$, there exists a closed subset $A\subseteq ω_2$ of order type $ω_1$ such that $c\restriction [A]^2$ is injective. This theorem simultaneously strengthens two theorems, one by Abraham, Cummings and Smyth and another one by Garti and Zhang, as well as answers a question raised by Garti and Zhang. New combinatorial principles involving towers of countable elementary submodels, games concerning regressive functions and variants of strong Chang's conjecture, which are key elements of the proof, are investigated. |
| title | A Topological Rainbow Ramsey Theorem |
| topic | Logic Primary: 03E02, Secondary: 03E25, 03E55 |
| url | https://arxiv.org/abs/2605.03828 |