{"id":"arxiv/2610.40054","url":"https://arxiv.org/abs/2610.40054","tags":["math.LO"],"score":0,"title":"Model Theory of Johnson Graphs","domain":"math.LO","source":"arxiv","authors":["Bjarki Geir Benediktsson","Dugald Macpherson","Isolde Adler"],"reviews":0,"subject":"math.LO","summary":"A \\emph{Johnson graph} $J(n,k)$ is a graph whose vertices are the $k$-element subsets of an underlying set of size $n$ where two vertices are adjacent if they intersect in a subset of size $k-1$. We extend the definition to allow infinite parameters and we study a natural limit theory $T_{\\mathcal{J}}$ of Johnson graphs. We show that $T_{\\mathcal{J}}$ is complete and we give an axiomatisation of $T_{\\mathcal{J}}$, from which we obtain a complete description of the models of $T_{\\mathcal{J}}$. We use this to show tameness properties of $T_{\\mathcal{J}}$, namely that $T_{\\mathcal{J}}$ is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}