Canonical mini construction of finitely axiomatizable theories as a weak release of the universal construction

zbMATH Open1335.03034MaRDI QIDQ5177697FDOQ5177697

Authors: Mikhaĭl G. Peretyat'kin 

Publication date: 5 March 2015

Recommendations

• Expressive power of finitely axiomatizable theories. III: The main construction
• scientific article; zbMATH DE number 1081433
• Constructing quasiminimal structures
• scientific article; zbMATH DE number 1357400
• Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs

zbMATH Keywords

first-order logicTarski-Lindenbaum algebraStone spacecompact binary treeuniversal construction of finitely axiomatizable theoriesnatural binary tree

Mathematics Subject Classification ID

Classical first-order logic (03B10) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Logical aspects of Boolean algebras (03G05)

This page was built for publication: Canonical mini construction of finitely axiomatizable theories as a weak release of the universal construction

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