Erdős problem 593
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.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/593.leanTrue ↔ ∀ (W : Type) [inst : Fintype W] (F : ThreeUniformHypergraph W), IsObligatory F ↔ F.IsTwoColorableOpenStatement only, no proof
Reported activity
Reported by these sources. Not reviewed here.
AI collaborating with humans
- Machine
- People
argument
- Machine
- Reported outcome
argument
- Machine
- People
- Reported outcome