Two Mal'cev-type theorems in universal algebra

From MaRDI portal
Publication:5589325

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




Related Items

Bjarni Jónsson's contributions in algebraExtensions of Algebraic SystemsCongruence computations in principal arithmetical varietiesSome Properties of Residuated LatticesIdeals and clots in universal algebra and in semi-abelian categoriesFregean logicsUnnamed ItemOn Birkhoff's common abstraction problemUnnamed ItemCongruence varietiesRegularity and permutability of congruencesCongruence modularity at 0Equations implying congruence \(n\)-permutability and semidistributivity.On the complexity of the Leibniz hierarchyDuality in non-abelian algebra. III. Normal categories and 0-regular varietiesApproximate Hagemann-Mitschke co-operationsFuzzy hyperalgebrasPolynomial interpolation and the Chinese remainder theorem for algebraic systemsRegularity and modularity of congruencesCharacterizing Mal'cev conditionsOn \(n\)-permutable congruencesMal'cev conditions in sums of varieties and a new Mal'cev conditionFregean logics with the multiterm deduction theorem and their algebraizationUniformity of congruencesUnnamed ItemThe fine spectrum of a varietyUnnamed ItemThe poset of all logics. III: Finitely presentable logicsVarieties having Boolean factor congruencesDemi-semi-primal algebras and Mal'cev-type conditionsDemi-semi-primal algebras and Mal'cev-type conditionsRechtskomplementäre Halbgruppen, Axiome, Polynome, KongruenzenOn the structure of varieties with equationally definable principal congruences. IIA model theoretic approach to Malcev conditionsMal'cev conditions revisitedRechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences)Unnamed ItemImplication algebras are 3-permutable and 3-distributiveUnnamed ItemA regular variety of type \(<2,2,1,1,0,0>\)Idempotent n -permutable varietiesFixed points of endomorphismsDecompositions of universal algebras by idempotent algebrasCategory metrics and valuations of concrete categoriesTHE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE