finding record / erdos
recordedvf_1f326fa7afdc32da
Erdős Problem #338
declared status 'open'. Formalized: no. The restricted order of a basis is the least integer (if it exists) such that every large integer is the sum of at most distinct summands from . What are necessary and sufficient conditions that this exists? Can it be bounded (when it exists) in terms of the order of the basis? What are necessary and sufficient conditions that this is equal to the order of the basis? Current best: Bateman has observed that for there is a basis of order with no restricted order, takingKelly [Ke57] has shown that any basis of order has restricted order at most and conjectured it always has restricted order at most (which he proved under the additional assumption that the basis has positive lower density). [He05] Hennecart, Fran\c cois, On the restricted order of asymptotic bases of order two. Prize: no. Tags: additive basis, number theory.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- database_record
- theoretical
- 0 spans
- recorded
- erdos_deep:338
- database_record
- Jun 16, 2026, 12:00 AM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_1f326fa7afdc32da
- vfr_0a25edabc16db143
- ce8ba7d934c848408e0d91caca39e938698e3fc7
- 03f7371b496485f761f91961027fd48198dc7e93
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers
Source identity
- Commit
- ce8ba7d934c848408e0d91caca39e938698e3fc7
- Tree
- 03f7371b496485f761f91961027fd48198dc7e93
- Committed
- 2026-07-20T19:20:20-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
- Snapshot
- sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
- Proposals
- sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
- Actor registry
- sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
- Artifacts
- sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da