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

MaRDI QIDQ5177697zbMATH OpenFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 5 March 2015

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)

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

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)