The barrier Ramsey theorem
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _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 |