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

DOI10.33048/SEMI.2020.17.107MaRDI QIDQ2212696zbMATH OpenOpenAlexFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 24 November 2020

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

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

zbMATH Keywords

Cartesian interpretationcomputable isomorphismfirst-order logicincomplete theorymodel completenessmodel-theoretic propertyTarski-Lindenbaum algebra

Mathematics Subject Classification ID

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

Recommendations

• Model completeness and direct power
• scientific article; zbMATH DE number 3841826
• scientific article; zbMATH DE number 1475195
• scientific article; zbMATH DE number 3952748
• scientific article; zbMATH DE number 175745

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Boolean sentence algebras: Isomorphism constructions
• scientific article; zbMATH DE number 30933 (Why is no real title available?)
• scientific article; zbMATH DE number 40985 (Why is no real title available?)
• scientific article; zbMATH DE number 3536074 (Why is no real title available?)
• scientific article; zbMATH DE number 3583768 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1081433 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Introduction to model theory and to the metamathematics of algebra
• Model Theory
• The Boolean algebra of logic

Cited in

(3)

• Extending to a model structure is not a first-order property
• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
• Invertible multi-dimensional interpretations versus virtual isomorphisms of first-order theories

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

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