The property of being a model complete theory is preserved by Cartesian extensions

DOI10.33048/semi.2020.17.107zbMath1477.03119OpenAlexW3117909775MaRDI QIDQ2212696

Mikhaĭl G. Peretyat'kin

Publication date: 24 November 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2020.17.107

zbMATH Keywords

first-order logicincomplete theorymodel-theoretic propertyTarski-Lindenbaum algebramodel completenesscomputable isomorphismCartesian interpretation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Virtual algebraic isomorphisms between predicate calculi of finite rich signatures

Cites Work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Introduction to model theory and to the metamathematics of algebra
• The Boolean algebra of logic
• Boolean sentence algebras: Isomorphism constructions
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The property of being a model complete theory is preserved by Cartesian extensions