Vera Koponen

A characterization of the finite model property for $\omega$-categorical theories

A first-order theory $T$ has the {\em finite model property} if every first-order sentence that is implied by $T$ has a finite model. We give a characterization of when a complete $\omega$-categorical theory $T$ has the finite model property. The characterization makes it possible to transfer stability theoretic result...