Erdős Problem #501: infinite independent sets for families of small outer measure

Lineage and corrections

This event attributed to Elliot Glazer

This event attributed to Sol

This event attributed to Claude

Erdős Problem #501: infinite independent sets for families of small outer measure parent of this event

Independent of ZFC, which is why this entry is the first to carry that result rather than proved or disproved. Both directions are formalized: Hechler's 1972 construction gives a model where the answer is no, and adding $\mathfrak{c}^+$ random reals over a model of CH gives one where it is yes. The credit is shared and mostly human. Newelski, Pawlikowski and Seredynski settled the problem's second question in 1987, and it is formalized here without the boundedness hypothesis. Hechler supplied one direction in 1972. Sungchul Lee derived a positive answer from a real-valued measurable cardinal, assisted by GPT-5.5 Pro, and Nat Sothanaphan observed that the two halves together give independence. What Glazer and Sol added is the removal of the large cardinal. erdosproblems.com still lists #501 as open at the time of writing. parent of this event

erdosproblems.com #501 - still listed open evidence for this event

VibeMathed record: Erdős Problem #501: infinite independent sets for families of small outer measure evidence for this event

Formal Conjectures: the upstream statement the faithfulness target is checked against evidence for this event

Palomar registry listing evidence for this event

Erdős Problem #501: infinite independent sets for families of small outer measure evidence for this event

Forum thread: Lee's relative result, Sothanaphan's observation, the random-real transfer evidence for this event