Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. P. Erdős and M. Lewin, -complete sequences of integers, Math. Comp. 65 (1996), no. 214, 837--840. Call a sequence -complete when every sufficiently large integer is a sum of distinct terms of it, no one of which divides another. Theorem 2 (p. 839): the sequence is -complete for every prime with . Proposition 4 (p. 839): the sequence is -complete, every integer above being representable. Alongside Theorem 2 the paper gives the largest integers not so representable, , , , and for , with its Propositions 2 and 3 for and ; the paper notes that its method meets difficulty at . These are the first settled triples of Problem 123, whose question is the paper's conjecture (i) on p. 840. Library home: erdos_1996_d_complete_sequences_integers.
Covers. The triples for and the triple . Not covered: every other pairwise coprime triple.
Depends on. Nothing in this wiki; the result rests on the cited paper.
Read depth. The statements were checked against the paper on its library card; the proofs were read there but not verified, and Propositions 2 to 4 rest partly on inspections that the paper reports without listing and that were not repeated.
Acceptance. Refereed: Mathematics of Computation 65 (1996), no. 214. The
site's commentary lists these cases, but the site credits the settlement of the
problem to Snyder's proof, so the commentary is not reviewed evidence for this
paper. Later work extended the triples:
Ma and Chen
and
Chen and Yu.