Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Problem 847
claims/: The 1 claim page of Problem 847, one per claimant's result; the problem's standing derives from them.
Statement. Let be an infinite set for which there exists some such that in any subset of of size there is a subset of size at least which contains no three-term arithmetic progression.
Is it true that is the union of a finite number of sets which contain no three-term arithmetic progression?
Status. DISPROVED (LEAN). The standing is derived from the claim page, accepted on the refereed publication and the site's credit.
Source. erdosproblems.com/847, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #847, https://www.erdosproblems.com/847.
References.
- [RRS24] Reiher, Christian and Rödl, Vojtěch and Sales, Marcelo, Colouring versus density in integers and Hales-Jewett cubes. J. Lond. Math. Soc. (2) (2024), Paper No. e12987, 24.
Formalization. Statement in formal-conjectures.
Progress
Not yet compiled.
Known Results
Not yet compiled.
Linked library material
These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.