{"id":"arxiv/2607.12099","url":"https://arxiv.org/abs/2607.12099","tags":["math.LO"],"score":0,"title":"Reductions and necessary conditions for tall Borel Ramsey ideals","domain":"math.LO","source":"arxiv","authors":["José de Jesús Pelayo Gómez"],"reviews":0,"subject":"math.LO","summary":"An ideal $\\mathcal{I}$ on $ω$ has the Ramsey property if $\\mathcal{I}^{+}\\to(\\mathcal{I}^{+})^2_2$: every $2$-colouring of the pairs of an $\\mathcal{I}$-positive set has an $\\mathcal{I}$-positive homogeneous subset. Whether a tall Borel ideal can have the Ramsey property is an open question of Hrušák, Meza-Alcántara, Thümmel and Uzcátegui; a coanalytic example exists in ZFC, so a negative answer must use definability essentially. Our main theorem, a synthesis of the results of the paper, states that a tall Borel Ramsey ideal admits no countable local reading. Below every positive set, such…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}