On systems of varieties definable by schemes of equations

DOI10.1007/BF02483086zbMath0387.03025MaRDI QIDQ1250215

Istvan Németi, Hajnalka Andréka

Publication date: 1980

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

zbMATH Keywords

universal algebraic logicvarieties associated to logicsvarieties definable by schemes of equations

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Cylindric and polyadic algebras; relation algebras (03G15) Algebraic structures (08A99) Varieties (08B99) Algebraic logic (03Gxx)

Related Items

Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Neat embeddings, omitting types, and interpolation: an overview

Cites Work

• Unnamed Item
• Formulas and ultraproducts in categories
• Algebraic Semantics for Modal Predicate Logic
• Nonfinitizability of classes of representable cylindric algebras