arXiv++ Combinatorics

We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.

We study the labelled growth rate of an $ω$-categorical structure $\mathfrak{A}$, i.e., the number of orbits of $Aut(\mathfrak{A})$ on $n$-tuples of distinct elements, and show that the model-theoretic property of monadic stability yields a gap in the spectrum of allowable labelled growth rates. As a further application, we obtain gap in the spectrum of allowable labelled growth rates in hereditary graph classes, with no a priori assumption of $ω$-categoricity. We also establish a way to translate results about labelled growth rates of $ω$-categorical structures into combinatorial statements about sets with weak finiteness properties in the absence of the axiom of choice, and derive several results from this translation.