scientific article
From MaRDI portal
Publication:3093852
zbMath1229.08001MaRDI QIDQ3093852
Publication date: 19 October 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tame congruence theoryuniversal algebraprimal algebrafinitely based algebraquasiprimal algebraJónsson's lemmadefinable principal congruencedirectly representable variety
Related Items (78)
Connected quandles of size \(pq\) and \(4p\) ⋮ On a variety of commutative multiplicatively idempotent semirings ⋮ Mal'tsev products of varieties. I ⋮ Matrix theory for independence algebras ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ On the utility of Robinson-Amitsur ultrafilters. II ⋮ A dense family of well-behaved finite monogenerated left-distributive groupoids ⋮ Complexity and polymorphisms for digraph constraint problems under some basic constructions ⋮ Finite generation of congruence preserving functions ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ The variety of commutative additively and multiplicatively idempotent semirings ⋮ Preserving near unanimity terms under products ⋮ Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties ⋮ Medial and semimedial left quasigroups ⋮ Superconnected left quasigroups and involutory quandles ⋮ Deciding absorption in relational structures ⋮ THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY ⋮ Semilattice sums of algebras and Mal'tsev products of varieties ⋮ Mal'tsev products of varieties. II. ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Introducing Boolean Semilattices ⋮ Local–global property for G-invariant terms ⋮ Kites and representations of pseudo MV-algebras ⋮ On finite Taylor algebras ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Universal algebraic methods for non-classical logics ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Equationally defined classes of semigroups ⋮ The associative-commutative spectrum of a binary operation ⋮ Majority-closed minions of Boolean functions ⋮ Identities and bases in the Sylvester and Baxter monoids ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Some structural and residual properties of 2-semilattices ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Deciding the Existence of Minority Terms ⋮ The wonderland of reflections ⋮ Quandles with orbit series conditions ⋮ On the convergence rate of the fraction of simple algebras ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Unnamed Item ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Testing for a semilattice term ⋮ DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS ⋮ Automorphism-primal algebras generate verbose varieties. ⋮ Mal'tsev conditions, lack of absorption, and solvability. ⋮ On the complexity of the Leibniz hierarchy ⋮ Free Vector Lattices and Free Vector Lattice Algebras ⋮ Principal and doubly homogeneous quandles ⋮ Maltsev families of varieties closed under join or Maltsev product ⋮ Commutator theory for racks and quandles ⋮ On supernilpotent algebras ⋮ Regular elements and Kolmogorov translation in residuated lattices ⋮ Abelian extensions and solvable loops. ⋮ Evolution of algebraic terms 3: Term continuity and beam algorithms ⋮ Loop conditions ⋮ Characterizing finite-valuedness ⋮ Deciding active structural completeness ⋮ Semigroup quasivarieties: Two lattices and a reopened problem ⋮ Dichotomy for finite tournaments of mixed-type ⋮ Loop conditions for strongly connected digraphs ⋮ Random models of idempotent linear Maltsev conditions. I. Idemprimality ⋮ Joins and Maltsev products of congruence permutable varieties ⋮ The local loop lemma ⋮ Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures ⋮ Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) ⋮ Deciding absorption ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Idempotent n -permutable varieties ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ The existence of states based on Glivenko semihoops ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Characterizations of several Maltsev conditions. ⋮ A quasi-Mal'cev condition with unexpected application. ⋮ Commutative idempotent groupoids and the constraint satisfaction problem. ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
This page was built for publication:
