Characterizations of several Maltsev conditions. (Q2351504): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Andrei A. Krokhin / rank
Normal rank
 
Property / author
 
Property / author: Andrei A. Krokhin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2053204108 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The collapse of the bounded width hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint Satisfaction Problems of Bounded Width / rank
 
Normal rank
Property / cites work
 
Property / cites work: Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constraint Satisfaction Problems Solvable by Local Consistency Methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mal'tsev conditions, lack of absorption, and solvability. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3093852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recent Results on the Algebraic Approach to the CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of constraints. An overview of current research themes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maltsev families of varieties closed under join or Maltsev product / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lattice of interpretability types of varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \(n\)-permutable congruences / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of finite algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras Whose Congruence Lattices are Distributive. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The shape of congruence lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dualizable algebras with parallelogram terms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5829835 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence theorems for weakly symmetric operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3751631 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: A strong Mal'cev condition for locally finite varieties omitting the unary type / rank
 
Normal rank

Revision as of 07:52, 10 July 2024

scientific article
Language Label Description Also known as
English
Characterizations of several Maltsev conditions.
scientific article

    Statements

    Characterizations of several Maltsev conditions. (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 June 2015
    0 references
    Tame congruence theory identifies six Maltsev conditions associated with locally finite varieties omitting certain types of local behaviour. Extending a result of Siggers, it is shown that of these six Maltsev conditions only two of them are equivalent to strong Maltsev conditions for locally finite varieties. Omitting the unary type, the only other of these conditions that is strong is that omitting the unary and affine types.
    0 references
    0 references
    Maltsev conditions
    0 references
    locally finite varieties
    0 references

    Identifiers