The following pages link to The shape of congruence lattices (Q4979155):
Displayed 50 items.
- Naturally dualizable algebras omitting types 1 and 5 have a cube term (Q271696) (← links)
- Preserving near unanimity terms under products (Q331032) (← links)
- Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q334968) (← links)
- An easy test for congruence modularity (Q451080) (← links)
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Maltsev families of varieties closed under join or Maltsev product (Q509529) (← links)
- On the prevariety of perfect lattices (Q535109) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- Varieties whose finitely generated members are free (Q1646600) (← links)
- Testing for a semilattice term (Q1732802) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- On supernilpotent algebras (Q1756685) (← links)
- Taylor's modularity conjecture and related problems for idempotent varieties (Q1789053) (← links)
- A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q1991583) (← links)
- Anticommutativity and the triangular lemma (Q1996098) (← links)
- Relation identities in 3-distributive varieties (Q2007989) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) (Q2131194) (← links)
- Acts with identities in the congruence lattice (Q2131290) (← links)
- Characterizing the commutator in varieties with a difference term (Q2131291) (← links)
- Some structural and residual properties of 2-semilattices (Q2200480) (← links)
- Mal'cev conditions corresponding to identities for compatible reflexive relations (Q2226981) (← links)
- Random models of idempotent linear Maltsev conditions. I. Idemprimality (Q2293305) (← links)
- Supernilpotence need not imply nilpotence (Q2314990) (← links)
- On prevarieties of logic (Q2324841) (← links)
- Characterizations of several Maltsev conditions. (Q2351504) (← links)
- Testing for edge terms is decidable (Q2351513) (← links)
- Elimination of quotients in various localisations of premodels into models (Q2413124) (← links)
- Equations implying congruence \(n\)-permutability and semidistributivity. (Q2443677) (← links)
- CSP for binary conservative relational structures (Q2634708) (← links)
- Acts over semigroups (Q2687484) (← links)
- Reconstructing the topology of clones (Q2960444) (← links)
- Loop conditions for strongly connected digraphs (Q4960455) (← links)
- Minimal abelian varieties of algebras, I (Q4989993) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS (Q5021922) (← links)
- (Q5028466) (← links)
- Higher Kiss terms (Q5097712) (← links)
- Deciding the Existence of Minority Terms (Q5118446) (← links)
- n-Permutability is not join-prime for n ≥ 5 (Q5135748) (← links)
- Supernilpotent Taylor algebras are nilpotent (Q5143158) (← links)
- DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS (Q5148097) (← links)
- Constant-Query Testability of Assignments to Constraint Satisfaction Problems (Q5232319) (← links)
- Polynomial-time tests for difference terms in idempotent varieties (Q5237442) (← links)
- Complexity and polymorphisms for digraph constraint problems under some basic constructions (Q5298320) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- The smallest hard trees (Q6073305) (← links)
- Finitely based congruence varieties (Q6142015) (← links)
- On Freese’s technique (Q6142829) (← links)
- Relative Maltsev definability of some commutator properties (Q6159128) (← links)