Abstract
It is known that the algebraic notion of amalgamation in a class of algebras corresponds to the metalogical notion of interpolation and definability properties in the corresponding logic. In this article, we relate results on neat reducts, a notion particular to cylindric algebras, to results on the “more universal” strong amalgamation property. We prove that a system of varieties definable by schemes has a strong amalgamation property.
2010 Mathematics Subject Classification: