First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories

Abstract

The notions of finitary and infinitary combinatorics were recently introduced by the author. In the present article, we discuss these notions and the corresponding semantical layers. We suggest a definition of a model-theoretical property. By author’s opinion, this definition agrees with the meaning that is generally accepted and used inmodel theory.We show that the similarity relation for theories over finitary and infinitary layers of model-theoretical properties is natural and important. Our arguments are based on comparing our approach with known model-theoretical ones.We find examples of pairs of mutually interpretable theories possessing distinct simple model-theoretical properties. These examples show weak points of the notion of mutual interpretability from the point of view of preservation of model-theoretical properties.