Skip to content

Erdős problem 701

Let F\mathcal{F} be a family of sets closed under taking subsets (i.e. if BAFB\subseteq A\in\mathcal{F} then BFB\in \mathcal{F}). There exists some element xx such that whenever FF\mathcal{F}'\subseteq \mathcal{F} is an intersecting subfamily we have F{AF:xA}.\lvert \mathcal{F}'\rvert \leq \lvert \{ A\in \mathcal{F} : x\in A\}\rvert.
Retained from Formal Conjectures · not edited here
Formal statements
1 open
Erdős Problems says
open
Decision here
No current contribution
Checks
0 checks · 1 formal

Current Result

Accepted in Vela Mathematics Program

Current Result

No result has been accepted here yet.

Type
Evidence
0 artifacts
Decision
None
Reviewed
No date retained

Search problems.science

Find a Problem, Result, source, or page