Skip to content

Erdős problem 740

Let m\mathfrak{m} be an infinite cardinal and GG be a graph with chromatic number m\mathfrak{m}. Let r1r\geq 1. Must GG contain a subgraph of chromatic number m\mathfrak{m} which does not contain any odd cycle of length r\leq r?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/740.lean

Formal Conjectures

FormalConjectures/ErdosProblems/740.leanErdos740.erdos_7404 linesExact file
True  ∀ (V : Type u_1) (G : SimpleGraph V),    Cardinal.aleph0G.chromaticCardinal      ∀ (r : ℕ), ∃ H, H.coe.chromaticCardinal = G.chromaticCardinalErdos740.NoShortOddCycle H.coe r
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page