Erdős problem 750
Let be some function such that as . Does there exist a graph of infinite chromatic number such that every subgraph on vertices contains an independent set of size at least ?
Workspace
public preview
- #750
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI collaborating with humans
- Machine
- People
Formalization
- Machine
argument
- Machine
- People
- Reported outcome