Omitting types algebraically and more about amalgamation for modal cylindric algebras

DOI10.1002/malq.202000051zbMath1521.03252OpenAlexW3196482508MaRDI QIDQ6047710

Tarek Sayed Ahmed

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.202000051

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• A representation theorem for polyadic Heyting algebras
• Cylindric-like algebras and algebraic logic
• Relation algebras by games
• Cylindric algebras. Part II
• Classification theory and the number of non-isomorphic models.
• Atom structures of cylindric algebras and relation algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Chang's modal operators in algebraic logic
• The algebra of topology
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
• Algebraic Analysis of the Topological Logic L(I)
• Complete representations in algebraic logic
• Interpolation and amalgamation in modal cylindric algebras
• Various notions of represetability for cylindric and polyadic algebras
• Omitting types for finite variable fragments and complete representations of algebras
• Representability and amalgamation for Heyting polyadic algebras

This page was built for publication: Omitting types algebraically and more about amalgamation for modal cylindric algebras