Characterizing Mal'cev conditions

DOI10.1007/BF02945141zbMath0304.08003OpenAlexW2388408070MaRDI QIDQ1216327

Publication date: 1973

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

Full work available at URL: https://doi.org/10.1007/bf02945141

Mathematics Subject Classification ID

Varieties (08B99) Algebraic structures (08Axx)

Related Items

Bjarni Jónsson's contributions in algebra, Extensions of Algebraic Systems, Elementary and algebraic properties of the Arens-Kaplansky constructions, Clones with nullary operations., Dualizing clones as models of Lawvere theories., A short introduction to clones., Congruence semimodular varieties. I: Locally finite varieties, Unnamed Item, On regular and regularized varieties, Relation categories and coproduct congruence categories in universal algebra, Clone and hypervariety correspondences, Unnamed Item, Alan Day's early work: Congruence identities, The Jónsson distributivity spectrum, Many-sorted algebras in congruence modular varieties, Unnamed Item, Mal'tsev classes with a given property, Covers of primal varieties, On semigroups of polynomial functions, Representability types of varieties and Mal'tsev strict conditions, Possible classification of finite-dimensional compact Hausdorff topological algebras, Unnamed Item, Congruence varieties, Differential (Lie) algebras from a functorial point of view, Universal algebraic methods for non-classical logics, On Freese’s technique, A proof of Lyndon's finite basis theorem, Algebras from finite group actions and a question of Eilenberg and Schützenberger, Identities satisfied by convex linear forms, Structural diversity in the lattice of equational theories, Congruence modularity at 0, Hyperidentities and hypervarieties, Varieties with \(n\)-principal compact congruences, A characterization of congruence permutable locally finite varieties, \(k\)-ary monoids of term operations, On the complexity of the Leibniz hierarchy, Algebras from congruences, The matrix taxonomy of finitely complete categories, Reflection-closed varieties of multisorted algebras and minor identities, VARIETIES WHOSE TOLERANCES ARE HOMOMORPHIC IMAGES OF THEIR CONGRUENCES, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, Polynomial interpolation and the Chinese remainder theorem for algebraic systems, Varieties whose congruences satisfy certain lattice identities, Mal'cev conditions in sums of varieties and a new Mal'cev condition, Uniformity of congruences, The fine spectrum of a variety, Continuum many Mal'cev conditions, Congruence lower semimodularity and 2-finiteness imply congruence modularity, Commutator Theory Without Join-Distributivity, Taylor's modularity conjecture and related problems for idempotent varieties, The category of varieties and interpretations is alg-universal, Is there a Mal'cev theory for single algebras?, On linear exactness properties, Unnamed Item, A finitely axiomatizable undecidable equational theory with recursively solvable word problems, Congruence varieties associated with reducts of Abelian group varieties, Open problems from NCS 2018, Lattice conditions implying congruence modularity, Primal topological algebras, The poset of all logics. III: Finitely presentable logics, On finitely based groups and nonfinitely based quasivarieties, Varieties having Boolean factor congruences, The one-block property in varieties of semigroups, The shape of congruence lattices, BOOLEAN FACTOR CONGRUENCES AND PROPERTY (*), A model theoretic approach to Malcev conditions, Mal'cev conditions revisited, Unnamed Item, Unnamed Item, On prevarieties of logic, \(n\)-permutable varieties satisfy non trivial congruence identities, A Mal'cev characterization of n-permutable varieties with directly decomposable congruences, On varieties of clones, Mal'cev conditions for Horn sentences with congruence permutability, Universal definability of Mal'tsev classes, A representation of varieties and their morphisms, A new product of algebras and a type reduction theorem, On conceptual completeness of syntactic-semantical systems, A representation theorem for weak automorphisms of a universal algebra, Horn sentences with (W) and weak Mal'cev conditions, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, Mal'tsev conditions and representability of varieties, Lattices of congruence classes of algebras, Classical lambda calculus in modern dress, Lattice of Mal'tsev theories, A note on congruence permutability and fuzzy logic, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work