Invertible multi-dimensional interpretations versus virtual isomorphisms of first-order theories

zbMATH Open1488.03017MaRDI QIDQ3380146FDOQ3380146

Authors: Mikhaĭl G. Peretyat'kin 

Publication date: 27 September 2021

Recommendations

• scientific article; zbMATH DE number 3952748
• scientific article; zbMATH DE number 1086491
• scientific article; zbMATH DE number 1221058
• The property of being a model complete theory is preserved by Cartesian extensions
• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures

zbMATH Keywords

first-order logicincomplete theoryCartesian extension of a theorymulti-dimensional interpretationvirtual isomorphism of theories

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Interpolation, preservation, definability (03C40)

Cited In (1)

• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures

This page was built for publication: Invertible multi-dimensional interpretations versus virtual isomorphisms of first-order theories

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