A weak form of interpolation in equational logic

• Autores: L. L. Maksimova
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 47, Nº. 1, 2008, págs. 56-64
• Idioma: inglés
• DOI: 10.1007/s10469-008-0006-x
• Texto completo no disponible (Saber más ...)
• Resumen

  • The notions of a weak interpolation property and of weak amalgamation are introduced. It is proved that in varieties with the congruence extension property, the weak interpolation property is equivalent to the weak amalgamation property. In turn, weak amalgamability of a variety is equivalent to amalgamability of a class of finitely generated simple algebras in this variety.