The barrier Ramsey theorem
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910037248573440 |
|---|---|
| author | Marcone, Alberto Montalbán, Antonio Volpi, Andrea |
| author_facet | Marcone, Alberto Montalbán, Antonio Volpi, Andrea |
| contents | In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of $α$-largeness, where $α$ is a countable ordinal equipped with a system of fundamental sequences. To extend this approach the more appropriate notion is barrier largeness. Since the complexity of barriers can be measured by countable ordinals, we define Ramsey ordinals and, using appropriate iterations of the Veblen functions, we are able to compute them. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_02544 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The barrier Ramsey theorem Marcone, Alberto Montalbán, Antonio Volpi, Andrea Logic Combinatorics 05D10, 03F15 In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of $α$-largeness, where $α$ is a countable ordinal equipped with a system of fundamental sequences. To extend this approach the more appropriate notion is barrier largeness. Since the complexity of barriers can be measured by countable ordinals, we define Ramsey ordinals and, using appropriate iterations of the Veblen functions, we are able to compute them. |
| title | The barrier Ramsey theorem |
| topic | Logic Combinatorics 05D10, 03F15 |
| url | https://arxiv.org/abs/2505.02544 |