Volume no :1, Issue no: 2, June (2008)

THE AMALGAMATION PROPERTY AND A PROBLEM OF HENKIN, MONK AND TARSKI

Author's: Tarek Sayed Ahmed
Pages: [127] - [141]
Received Date: June 13, 2009
Submitted by:

Abstract

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.

Keywords

algebraic logic, cylindric algebras, quasi polyadic algebras, Pinter’s algebras, super amalgamation.