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

DOI10.3103/S1055134416030044zbMATH Open1374.03023MaRDI QIDQ2959176FDOQ2959176

Mikhaĭl G. Peretyat'kin

Publication date: 9 February 2017

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

interpretationfirst-order logicTarski-Lindenbaum algebrafirst-order combinatoricsmodel-theoretical propertysemantically similar theories

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Computable structure theory, computable model theory (03C57)

Cites Work

• Properties Preserved under Definitional Equivalence and Interpretations
• The Boolean algebra of logic
• A lattice of chapters of mathematics (interpretations between theorems [theories])
• A lattice of interpretability types of theories
• Semantically universal classes of models
• Analogues of Rice's theorem for semantic classes of propositions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories
• A.D. Taimanov and model theory in Kazakhstan

This page was built for publication: First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2959176)