Strong Amalgamation in Systems of Varieties

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.

Key Words:

• Algebraic logic
• Amalgamation
• Cylindric algebra
• Neat reducts

2010 Mathematics Subject Classification:

• 03G15