The class of polyadic algebras has the super amalgamation property

DOI10.1002/malq.200810040zbMath1191.03048MaRDI QIDQ3406455

Tarek Sayed Ahmed

Publication date: 16 February 2010

Published in: MLQ (Search for Journal in Brave)

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

zbMATH Keywords

algebraic logic; amalgamation; polyadic algebras

Mathematics Subject Classification ID

03G15: Cylindric and polyadic algebras; relation algebras

Related Items

Varying interpolation and amalgamation in polyadic MV-algebras, Interpolation and amalgamation in modal cylindric algebras, New perspectives in algebraic logic, from neat embeddings to Erdős graphs, The class of completely representable polyadic algebras of infinite dimensions is elementary, Neat embeddings as adjoint situations, On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Amalgamation and interpolation in normal modal logics
• Logic in algebraic form. Three languages and theories
• Freedom in polyadic algebras and two theorems of Beth and Craig
• An Interpolation Theorem for First Order Logic with Infinitary Predicates
• Algebraic Logic, Where Does it Stand Today?
• A complete first-order logic with infinitary predicates
• Representation theory for polyadic algebras