First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
From MaRDI portal
Publication:2959176
DOI10.3103/S1055134416030044zbMath1374.03023MaRDI QIDQ2959176
Publication date: 9 February 2017
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
first-order logicinterpretationTarski-Lindenbaum algebrafirst-order combinatoricsmodel-theoretical propertysemantically similar theories
Computable structure theory, computable model theory (03C57) Basic properties of first-order languages and structures (03C07)
Related Items
On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories, A.D. Taimanov and model theory in Kazakhstan
Cites Work
- Semantically universal classes of models
- Analogues of Rice's theorem for semantic classes of propositions
- A lattice of chapters of mathematics (interpretations between theorems [theories)]
- The Boolean algebra of logic
- A lattice of interpretability types of theories
- Properties Preserved under Definitional Equivalence and Interpretations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item