Author's: Tarek Sayed Ahmed
Pages: [127] - [141]
Received Date: June 13, 2009
Submitted by:
Using the fact that the class of representable cylindric algebras of infinite dimension fails to have the amalgamation property, we solve an open problem in the monograph “Cylindric Algebras, Part I†by Henkin, Monk and Tarski. Our result applies to other algebras of logic, namely Pinter’s substitution algebras and Halmo’s quasi-polyadic algebras.
algebraic logic, cylindric algebras, quasi polyadic algebras, Pinter’s algebras, super amalgamation.