Erdős problem 494

Selfridge and Straus [SeSt58] also showed that the conjecture is true when 1) $k = 3$ and $|A| > 6$ or 2) $k = 4$ and $|A| > 12$ . More generally, they proved that $A$ is determined by $A_k$ (and $|A|$ ) if $|A|$ is divisible by a prime greater than $k$ .

No current result

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

FormalConjectures/ErdosProblems/494.lean

Formal Conjectures

FormalConjectures/ErdosProblems/494.leanErdos494.erdos_494.variants.card_divisible_by_prime_gt_k1 lineExact file

1∀ (k card p : ℕ), Nat.Prime p → k ∈ Set.Ioo 0 p → p ∣ card → Erdos494.Erdos494Unique k card

SolvedStatement only, no proof