Non-trivial higher homotopy of first-order theories

Tim Campion, Jinhe Ye

Let $T$ be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf{Mod}(T)$ to be homotopically equivalent to $\mathb…