A model theoretic approach to Malcev conditions

DOI10.2307/2272131zbMath0412.03016OpenAlexW2068217825MaRDI QIDQ4198481

John T. Baldwin, Joel D. Berman

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272131

zbMATH Keywords

free algebramodel theorysubvarietyproductsBorel hierarchyMal'cev conditionmodularity of the congruence lattice of a variety

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Free algebras (08B20) Equational classes, universal algebra in model theory (03C05) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Quasiorders on universal algebras ⋮ Mal'tsev classes with a given property ⋮ Congruence varieties ⋮ Mal'cev conditions revisited ⋮ Universal definability of Mal'tsev classes ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Mal'tsev conditions and representability of varieties ⋮ Lattice of Mal'tsev theories

Cites Work

• Characterizing Mal'cev conditions
• Continuum many Mal'cev conditions
• On Malcev conditions
• On the general theory of algebraic systems
• Algebras Whose Congruence Lattices are Distributive.
• Two Mal'cev-type theorems in universal algebra

This page was built for publication: A model theoretic approach to Malcev conditions