arXiv++ Combinatorics

Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes.

We prove a version of the strong Taylor's conjecture for stable graphs: if $G$ is a stable graph whose chromatic number is strictly greater than $\beth_2(\aleph_0)$ then $G$ contains all finite subgraphs of Sh$_n(ω)$ and thus has elementary extensions of unbounded chromatic number. This completes the picture from our previous work. The main new model theoretic ingredient is a generalization of the classical construction of Ehrenfeucht-Mostowski models to an infinitary setting, giving a new characterization of stability.

We prove that if $G=(V,E)$ is an $ω$-stable (respectively, superstable) graph with $χ(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(ω)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $ω$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ suffices.