# Proof of a Conjecture of Galvin

Preprint · Dilip Raghavan, Stevo Todorcevic

- Archive id: arxiv:1809.00922
- Published: 2018-09-04
- Venue: Forum of Mathematics, Pi 8 (2020) e15
- DOI: https://doi.org/10.1017/fmp.2020.12
- arXiv: https://arxiv.org/abs/1809.00922
- Source URL: https://arxiv.org/abs/1809.00922
- PDF: https://arxiv.org/pdf/1809.00922
- Provenance: arxiv

## Abstract

We prove that if the set of unordered pairs of real numbers is colored by finitely many colors, there is a set of reals homeomorphic to the rationals whose pairs have at most two colors. Our proof uses large cardinals and it verifies a conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.