scientific article; zbMATH DE number 1357400

MaRDI QIDQ4700614zbMATH OpenFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 4 November 1999

zbMATH Keywords

finitely axiomatizable theoriesgeneralized Lindenbaum algebrasinterpretationsmodel-theoretic propertysimilarity relations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Recommendations

• Finitely axiomatizable theories
• scientific article; zbMATH DE number 4083594
• scientific article; zbMATH DE number 4152351
• scientific article; zbMATH DE number 475194
• Finite axiomatizability and theories with trivial algebraic closure
• scientific article; zbMATH DE number 934778
• scientific article; zbMATH DE number 1302878
• scientific article; zbMATH DE number 1531932
• Finite axiomatizability in Łukasiewicz logic
• Finitary reducibility on equivalence relations

Cited in

(21)

• Turing machine computations in finitely axiomatizable theories
• Similarities and proximity of complete theories
• Finite axiomatizability and theories with trivial algebraic closure
• Semantically universal classes of models
• Expressive power of finitely axiomatizable theories. III: The main construction
• A.D. Taimanov and model theory in Kazakhstan
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
• scientific article; zbMATH DE number 7401616 (Why is no real title available?)
• Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes
• scientific article; zbMATH DE number 4152351 (Why is no real title available?)
• scientific article; zbMATH DE number 4083594 (Why is no real title available?)
• scientific article; zbMATH DE number 1302878 (Why is no real title available?)
• scientific article; zbMATH DE number 475187 (Why is no real title available?)
• scientific article; zbMATH DE number 510789 (Why is no real title available?)
• scientific article; zbMATH DE number 1045790 (Why is no real title available?)
• scientific article; zbMATH DE number 1081433 (Why is no real title available?)
• scientific article; zbMATH DE number 1357268 (Why is no real title available?)
• Finitely inseparable first-order axiomatized mereotopological theories
• Canonical mini construction of finitely axiomatizable theories as a weak release of the universal construction
• Combining Finite Combination Properties: Finite Models and Busy Beavers
• Cartesian extensions and definition of the concept of model-theoretic property

This page was built for publication:

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