2020/07/23 by Halevi, Yatir, Kaplan, Itay, Shelah, Saharon
#Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2007.12139
We prove that if G=(V,E) is an ω-stable (respectively, superstable) graph with χ(G)>ℵ0 (respectively, 2ℵ0) then G contains all the finite subgraphs of the shift graph Shn(ω) for some n. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if G is ω-stable with U(G)≤ 2 we prove that n≤ 2 suffices.