Skip to content

Erdős problem 196

Must every permutation of N\mathbb{N}, contain a monotone 4-term arithmetic progression?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/196.lean

Formal Conjectures

FormalConjectures/ErdosProblems/196.leanErdos196.erdos_1961 lineExact file
True ↔ ∀ (f : ℕ ≃ ℕ), HasMonotoneAP (⇑f) 4
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page