Logical isomorphism and logical limit laws for small permutation classes and regular languages

Klas Markström, Klas Marström, Eero Räty

In this paper we show that for each small permutation class $\mathcal{F}$ there exists a regular language $L_{\mathcal{F}}$ such that the monadic second-order TOTO logic on $\mathcal…