# Commit 2022-07-13 18:30 44999a92

View on Github →feat(combinatorics/additive/behrend): Behrend's construction (#14070)
Construct large Salem-Spencer sets in `ℕ`

using Behrend's construction. The idea is to turn the Euclidean sphere into a discrete set of points in Euclidean space which we then squash onto `ℕ`

.