Wiki
Wiki

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 A⊂NA\subset \mathbb{N} be an infinite set for which there exists some ϵ>0\epsilon>0 such that in any subset of AA of size nn there is a subset of size at least ϵn\epsilon n which contains no three-term arithmetic progression.

Is it true that AA 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.