CLASSES OF ALGEBRAS WITH THE AMALGAMATION PROPERTY
We introduce an abstract class of algebras that is a proper reduct of both Pinter’s substitution algebras and cylindric algebras. We show that the class of representable algebras has the amalgamation property. We thus obtain a variety V of cylindric-like algebras such that has the interpolation property but not the strong interpolation property.
Pinter’s substitution algebras, cylindric algebras, amalgamation property.
