Skip to content

Erdős problem 918

A question of Erdős and Hajnal [ErHa68b], who proved that for every finite kk there is a graph with chromatic number 1\aleph_1 and k\aleph_k vertices where each subgraph on less than k\aleph_k vertices has chromatic number 0\leq \aleph_0.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/918.lean

Formal Conjectures

FormalConjectures/ErdosProblems/918.leanErdos918.erdos_918.parts.i5 linesExact file
TrueV G,    Cardinal.mk V = Cardinal.aleph 2 ∧      G.chromaticCardinal = Cardinal.aleph 2 ∧        ∀ (W : Set V), Cardinal.mkW = Cardinal.aleph 1 → (SimpleGraph.induce W G).chromaticCardinalCardinal.aleph0
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page