{"id":"palomar/PALOMAR-2026-10-28-000012","url":"https://github.com/jtraverso/restricted-intersections/tree/ebb90800eda4ec83cc18c6da2135b8718757f6e2","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000012-v1.json","repo":"https://github.com/jtraverso/restricted-intersections","tags":["math.CO","msc:05D05","msc:05B05","msc:15A03"],"score":0,"title":"Ray-Chaudhuri–Wilson: uniform families with restricted intersections","trust":"high","domain":"math.CO","source":"palomar","authors":["Juan Pablo Traverso Gianini"],"reviews":0,"subject":"math.CO","summary":"Formalizes Theorem 3 of On t-designs (1975): a k-uniform family of subsets of an n-element ground set whose distinct-pair intersection sizes lie in L ⊆ {0,...,k−1} has at most binomial(n,|L|) members. Includes the actual-intersection-spectrum formulation, the uniform one-intersection bound, and equality examples consisting of all s-subsets.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"On t-designs","identifier":"doi:10.18910/7296","relationship":"formalizes"}]}