Erdos Problem #593 asks which finite triple systems occur in every uncountably chromatic triple system. The answer is exactly the class generated from private-vertex expansions of finite bipartite graphs by finite disjoint unions and one-point amalgamations. Problem #1177 on exact spectra is settled alongside it.

Declared status: open
Formalization: formalized
Prize: $500
Subjects: set theorygraph theoryhypergraphschromatic number
OEIS: N/A
Sources: source:erdos-ai-contributions-wikisource:erdos-problemssource:formal-conjecturessource:vibemathed
Statement: www.erdosproblems.com

Matching claims

No direct claims

This problem has no directly related claim record.