Skip to content

Erdős problem 1022

Is there a constant ctc_t, where ctc_t\to \infty as tt\to \infty, such that if F\mathcal{F} is a finite family of finite sets, all of size at least tt, and for every set XX there are <ctX<c_t\lvert X\rvert many AFA\in \mathcal{F} with AXA\subseteq X, then F\mathcal{F} has chromatic number 22 (in other words, has property B)?
Retained from Formal Conjectures · not edited here
Formal statements
3 solved
Erdős Problems says
proved (Lean)
Decision here
No current contribution
Checks
0 checks · 3 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