scientific article
From MaRDI portal
Publication:2853715
zbMath1280.03061MaRDI QIDQ2853715
Publication date: 16 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)
Related Items
Omitting Types in Fragments and Extensions of First Order Logic ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Notions of representability for cylindric algebras: some algebras are more representable than others ⋮ Complete Representations and Neat Embeddings ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ The class of completely representable polyadic algebras of infinite dimensions is elementary ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic