A stable shift-graph embedding conjecture

Let TT be a stable theory of graphs. For each cardinal μ\mu, let chT(μ)\operatorname{ch_T}(\mu) denote the associated chromatic Hanf number, and let n1(μ)\beth_{n-1}(\mu) be the corresponding beth iterate. Write Shm(ω)\text{Sh}_{m}(\omega) for the mm-shift graph.

Stable shift-graph embedding conjecture. If, for every cardinal μ\mu,

chT(μ+)n1(μ)+,\operatorname{ch_T}(\mu^+) \leq \beth_{n-1}(\mu)^+,

then for some mnm\leq n, every ω\omega-saturated model of TT contains an embedding of Shm(ω)\text{Sh}_{m}(\omega).

This asks for an analogue of the preceding characterization for simple theories and theories with stable edge relation, relating an upper bound on the chromatic Hanf number to the appearance of a finite shift graph in saturated models. The source presents it as a reasonable suggestion; no resolution is given.

Sources & referencesView supporting material

Primary source

Yatir Halevi, Itay Kaplan and Saharon Shelah, “Infinite Cliques in Simple and Stable Graphs”, arXiv:2408.05605 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.