Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let , and let be sufficiently large depending on . Suppose that is a family of at most many finite sets of size . Let .
Must there exist many sets which intersect every set in , yet contain none of them?
Source: erdosproblems.com/1027
An accepted solution exists. The statement is true.
Proved. The site marks the problem proved (page last edited 1 October 2025) and credits a proof posted in its comment thread by Koishi Chan on 21 September 2025; the claim page Koishi Chan 2025 records the result, accepted on the curator's credit.