Lindstrom theorems for fragments of first-order logic

Johan van Benthem, Balder ten Cate, Jouko Vaananen

Lindström theorems characterize logics in terms of model-theoretic conditions such as Compactness and the Löwenheim-Skolem property. Most existing characterizations of this kind co…