{"id":"arxiv/2604.09894","url":"https://arxiv.org/abs/2604.09894","tags":["math.LO"],"score":0,"title":"The Henson graphs: colorings and codings","domain":"math.LO","source":"arxiv","authors":["Peter Cholak","Natasha Dobrinen","Charlie McCoy"],"reviews":0,"subject":"math.LO","summary":"By recent work of \\citet{DobrinenICM} and \\citet{Balko7} we know that every finite $G$ in the Henson graph $\\mathbb{H}_{n+1}$ (the universal ultrahomogeneous $(n+1)$-clique free graph) has exact finite big Ramsey degree $k({G,n})$. That is, there is a positive integer $k({G,n})$ such that for each finite coloring $C$ of the copies of $G$ in $\\mathbb{H}_{n+1}$, there is $\\tilde{\\mathbb{H}}$, a substructure of $\\mathbb{H}_{n+1}$ and isomorphic to $\\mathbb{H}_{n+1}$, such that in $\\tilde{\\mathbb{H}}$ at most $k({G,n})$ colors are used on the copies of $G$ in $\\tilde{\\mathbb{H}}$. Moreover, for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-10","reactions":{}}