Two Mal'cev-type theorems in universal algebra

DOI10.1016/S0021-9800(70)80086-2zbMath0194.01401OpenAlexW2118731070MaRDI QIDQ5589325

George Grätzer

Publication date: 1970

Published in: Journal of Combinatorial Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0021-9800(70)80086-2

zbMATH Keywords

general algebraic structures

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Extensions of Algebraic Systems ⋮ Congruence computations in principal arithmetical varieties ⋮ Some Properties of Residuated Lattices ⋮ Ideals and clots in universal algebra and in semi-abelian categories ⋮ Fregean logics ⋮ Unnamed Item ⋮ On Birkhoff's common abstraction problem ⋮ Unnamed Item ⋮ Congruence varieties ⋮ Regularity and permutability of congruences ⋮ Congruence modularity at 0 ⋮ Equations implying congruence \(n\)-permutability and semidistributivity. ⋮ On the complexity of the Leibniz hierarchy ⋮ Duality in non-abelian algebra. III. Normal categories and 0-regular varieties ⋮ Approximate Hagemann-Mitschke co-operations ⋮ Fuzzy hyperalgebras ⋮ Polynomial interpolation and the Chinese remainder theorem for algebraic systems ⋮ Regularity and modularity of congruences ⋮ Characterizing Mal'cev conditions ⋮ On \(n\)-permutable congruences ⋮ Mal'cev conditions in sums of varieties and a new Mal'cev condition ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Uniformity of congruences ⋮ Unnamed Item ⋮ The fine spectrum of a variety ⋮ Unnamed Item ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Varieties having Boolean factor congruences ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ A model theoretic approach to Malcev conditions ⋮ Mal'cev conditions revisited ⋮ Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences) ⋮ Unnamed Item ⋮ Implication algebras are 3-permutable and 3-distributive ⋮ Unnamed Item ⋮ A regular variety of type \(<2,2,1,1,0,0>\) ⋮ Idempotent n -permutable varieties ⋮ Fixed points of endomorphisms ⋮ Decompositions of universal algebras by idempotent algebras ⋮ Category metrics and valuations of concrete categories ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE