ملخص البحث
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.
قسم البحث
مجلة البحث
Communications in Algebra
المشارك في البحث
الناشر
Taylor & Francis Group.
تصنيف البحث
1
عدد البحث
Volume 44, Issue 3
موقع البحث
NULL
سنة البحث
2016
صفحات البحث
1227-1235