Modeling FO-limits for monadically stable sequences

Samuel Braunfeld, S. Braunfeld, Jaroslav Nešetřil +3

We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf{M}\models T$, and a coherent system of probability measures on the $\sigma$-algebras generated by p…