Varieties defined by basic equations have the amalgamation property

DOI10.1080/00927872.2024.2358417MaRDI QIDQ6600746

Paolo Lipparini

Publication date: 10 September 2024

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

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Properties of classes of models (03C52) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong amalgamation of distributive lattices
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Existence theorems for weakly symmetric operations
• Simple equations on real intervals
• Model theory.
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
• Amalgamation and interpolation in ordered algebras.
• On \(n\)-permutable congruences
• Random models of idempotent linear Maltsev conditions. I. Idemprimality
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• Implication algebras are 3-permutable and 3-distributive
• Arithmeticity at 0
• GROWTH RATES OF ALGEBRAS, I: POINTED CUBE TERMS
• Geometrical methods in congruence modular algebras
• The structure of finite algebras
• Varieties Obeying Homotopy Laws
• The weakest nontrivial idempotent equations
• The shape of congruence lattices
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
• On the general theory of algebraic systems
• Quantifier-free interpolation in combinations of equality interpolating theories
• Algebras Whose Congruence Lattices are Distributive.
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Sur l'extension aux relations de quelques propriétés des ordres

This page was built for publication: Varieties defined by basic equations have the amalgamation property