Erdős problem 785
Let be infinite sets such that contains all large integers. Let and similarly for . Is it true that if then as ?
Sources
FormalConjectures/ErdosProblems/
785.lean
Retained formal statement
Danzer [Da64] proved that exact additive complements exist (Hanani had earlier conjectured they do not exist, as reported in [Er57] and [Er61]).
∃ A B, A.Infinite ∧ B.Infinite ∧ Erdos785.IsExactAdditiveComplement A BSolvedStatement only, no proof