Skip to main content

Strong Amalgamation in Systems of Varieties

Research Authors
Basim Samir
Research 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.

Research Department
Research Journal
Communications in Algebra
Research Member
Research Publisher
Taylor & Francis Group.
Research Rank
1
Research Vol
Volume 44, Issue 3
Research Website
NULL
Research Year
2016
Research Pages
1227-1235