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

Vera Koponen

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…