Skip to content

Erdős problem 219

Are there arbitrarily long arithmetic progressions of primes? Solution: yes. Ref: Green, Ben and Tao, Terence, _The primes contain arbitrarily long arithmetic progressions_

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/219.lean

Formal Conjectures

FormalConjectures/ErdosProblems/219.leanErdos219.empty_not_primeArithmeticProgression1 lineExact file
∅ ∉ Erdos219.primeArithmeticProgressions
APIStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page