This article is cited in 3 papers

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

M. G. Peretyat'kin

Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan

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 in model 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.

Key words: first-order logic, theory, Tarski–Lindenbaum algebra, model-theoretical property, interpretation, semantically similar theories, first-order combinatorics.

UDC: 510.6

Received: 10.02.2014

DOI: 10.17377/mattrudy.2015.18.205

 English version: Siberian Advances in Mathematics, 2016, 26:3, 196–214

Bibliographic databases:

• 
•