Paper detail

Polyadic-like algebras without the amalgamation property

Usually when we have polyadic-like algebras, meaning that we have infinitary substitutions (that is substitutions moving infinitely many points) in the similarity type, then we get the superamalgamation property especially if this class of algebras happen to be a variety. This for example happens for (full) polyadic algebras, full Heyting algebras and reducts of those using only finitely many infinitary substitutions, like Sains Boolean and Heyting algebras. (The last is studied by Sayed Ahmed) . In cylindric-like algebras (like quasi-polyadic algebras) when we do not have infinitary substitutions, we do not get even the amalgamation property . In this paper, we give an example of a polyadic like variety (we have infinitary substitutions, in fact infinitely many of them) for which the amalgamation property fails.