sidon-sets

Erdos problem #40: for which g(N) -> infinity must a set A with >> sqrt(N)/g(N) elements in {1,...,N} have limsup 1_A*1_A(n) = infinity? Open. Lean: some g works iff the strong form of the Erdos-Turan conjecture holds. Written, after Erdos and Renyi: no power of N works. Computed: the greedy B2[2] set from the #158 thread, to 10,000 terms.

Companion code and data for “A finiteness theorem for geodesic Leech wheels”: labelings of W_5–W_13, exact-arithmetic verification of the bound n ≤ 40, and the spoke-frame search

ARCHIVED: historical Sidon-set scientific custody; not a current Vela product.

Erdos 39: formal Sidon density bounds, infinite greedy construction, computational controls and original receipts