Reductions and necessary conditions for tall Borel Ramsey ideals
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.12099
curl -X POST /api/v1/records/arxiv/2607.12099/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.12099/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'