Classification of $\omega$-categorical monadically stable structures

Bertalan Bodor

A first-order structure $\mathfrak{A}$ is called monadically stable iff every expansion of $\mathfrak{A}$ by unary predicates is stable. In this article we give a classification of…