Hindman and Owings-like theorems without the Axiom of Choice
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913151722717184 |
|---|---|
| author | Guzmán-Vega, José A. Bretón, David J. Fernández Rosales, Eliseo Sarmiento |
| author_facet | Guzmán-Vega, José A. Bretón, David J. Fernández Rosales, Eliseo Sarmiento |
| contents | We investigate Hindman- and Owings-type Ramsey-theoretic statements in Zermelo-Fraenkel set theory without the Axiom of Choice, with some occasional extra assumptions (such as the Axiom of Dependent Choice and/or the Axiom of Determinacy). We study several variations of Hindman's theorem on $\mathbb Q$-vector spaces; notably, we show that the uncountable analog of Hindman's theorem fails for the additive group of $\mathbb R$ (under ZF), and for $\mathbb Q$-vector spaces of uncountable dimension (under DC if such dimension is not well-orderable), among other results. In contrast, for Owings-type configurations, we obtain several positive results, especially when assuming AD. These results highlight the interaction between determinacy, algebraic structure, and dimension in the study of infinite Ramsey theory without the Axiom of Choice. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_27163 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Hindman and Owings-like theorems without the Axiom of Choice Guzmán-Vega, José A. Bretón, David J. Fernández Rosales, Eliseo Sarmiento Logic Combinatorics 03E02, 03E25, 03E60 (Primary) 05D10, 05C55, 05E99 (Secondary) We investigate Hindman- and Owings-type Ramsey-theoretic statements in Zermelo-Fraenkel set theory without the Axiom of Choice, with some occasional extra assumptions (such as the Axiom of Dependent Choice and/or the Axiom of Determinacy). We study several variations of Hindman's theorem on $\mathbb Q$-vector spaces; notably, we show that the uncountable analog of Hindman's theorem fails for the additive group of $\mathbb R$ (under ZF), and for $\mathbb Q$-vector spaces of uncountable dimension (under DC if such dimension is not well-orderable), among other results. In contrast, for Owings-type configurations, we obtain several positive results, especially when assuming AD. These results highlight the interaction between determinacy, algebraic structure, and dimension in the study of infinite Ramsey theory without the Axiom of Choice. |
| title | Hindman and Owings-like theorems without the Axiom of Choice |
| topic | Logic Combinatorics 03E02, 03E25, 03E60 (Primary) 05D10, 05C55, 05E99 (Secondary) |
| url | https://arxiv.org/abs/2603.27163 |