SWhat changed
A large collection of small sets cannot remain completely unstructured. Erdős and Rado find a subcollection whose pairwise intersections are all the same common core: a Δ-system, also called a sunflower. Their paper gives finite bounds while distinguishing distinct sets from indexed repetitions, and treats an infinite-cardinal regime separately. The finite argument supplies a reusable tool for extracting regular structure from a complicated family of sets.
Scientific scope
A large collection of small sets cannot remain completely unstructured. Erdős and Rado find a subcollection whose pairwise intersections are all the same common core: a Δ-system, also called a sunflower. Their paper gives finite bounds while distinguishing distinct sets from indexed repetitions, and treats an infinite-cardinal regime separately. The finite argument supplies a reusable tool for extracting regular structure from a complicated family of sets. The original indexed-system bound has an extra factor from allowed repetitions: its Theorem III uses b!a^(b+1) times an explicit correction for a sunflower with more than a indices. This is not the distinct-family bound transcribed without qualification. The factorial-to-exponential improvement is only conjectural in this original; the later ALWZ logarithmic-base improvement is a separate development. Infinite-cardinal claims retain the original cardinal hypotheses and well-ordering/choice framework, not a finite algorithm or an unrestricted uncountable extension.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The original indexed-system bound has an extra factor from allowed repetitions: its Theorem III uses b!a^(b+1) times an explicit correction for a sunflower with more than a indices. This is not the distinct-family bound transcribed without qualification. The factorial-to-exponential improvement is only conjectural in this original; the later ALWZ logarithmic-base improvement is a separate development. Infinite-cardinal claims retain the original cardinal hypotheses and well-ordering/choice framework, not a finite algorithm or an unrestricted uncountable extension.
Contributors
- The named authors in the research record · SCIENCE: Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.
Provisional WRS assessment, edition 2026-10-23.4. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction