Strong Amalgamation in Systems of Varieties

DOI10.1080/00927872.2015.1008010zbMath1351.03063OpenAlexW2269139257MaRDI QIDQ2810538

Basim Samir

Publication date: 1 June 2016

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927872.2015.1008010

zbMATH Keywords

algebraic logicamalgamationneat reductscylindric algebra

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Neat embeddings, omitting types, and interpolation: an overview
• On amalgamation in algebras of logic
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Cylindric algebras. Part II
• Interpolation and amalgamation; pushing the limits. II
• Amalgamation, congruence-extension, and interpolation properties in algebras
• The class of neat reducts is not elementary
• The class of 2-dimensional neat reducts is not elementary
• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• Omitting types for algebraizable extensions of first order logic
• Varieties of Algebras without the Amalgamation Property
• Algebraic Logic, Where Does it Stand Today?
• On neat reducts of algebras of logic

This page was built for publication: Strong Amalgamation in Systems of Varieties