{"id":"arxiv/2607.22196","url":"https://arxiv.org/abs/2607.22196","tags":["math.LO"],"score":0,"title":"Ramsey-Theoretic Finiteness in Choiceless Set Theory: The Gower's Collapse and Rainbow and Canonical Separations","domain":"math.LO","source":"arxiv","authors":["Brinda Venkataramani"],"reviews":0,"subject":"math.LO","summary":"We study finiteness classes arising from Ramsey-theoretic principles in set theory without the Axiom of Choice. First, we answer a question of Brot, Cao, and Fernández-Bretón concerning Gowers' $\\mathbf{FIN}_k$ theorem. The $\\mathbf{FIN}_k$ operation gives rise to a finiteness notion for each $k\\geq 1$, but we show that this notion is independent of the value of $k$: the resulting hierarchy collapses, and every level is equivalent to $H$-finiteness, i.e., to Dedekind-finiteness of $[X]^{<ω}$. We then turn to the Rainbow Ramsey theorem and the Canonical Ramsey theorem. The corresponding…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-24","reactions":{}}