Let `A ⊂ ℕ` be an additive basis of order `k` which is minimal in the sense that
if `B ⊂ A` is any infinite set, then `A \ B` is not a basis of order `k`.
Must there exist an infinite `B ⊂ A` such that `A \ B`
is an additive basis of order `k + 1`?
Actions
Submit a Proof
Have a proof attempt? Submit it for zero-trust verification.
theorem erdos_881 :
answer(sorry) ↔ ∀ (k : ℕ) (A : Set ℕ),
IsMinimalAsymptoticAddBasisOfOrder k A →
∃ (B : Set ℕ), B ⊆ A ∧ B.Infinite ∧
(A \ B).IsAsymptoticAddBasisOfOrder (k + 1)
