Logical limit laws for minor-closed classes of graphs

Peter Heinig, Tobias Muller, Marc Noy +1

Let $\mathcal{G}$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at rando…