A strong Mal'cev condition for locally finite varieties omitting the unary type
From MaRDI portal
Publication:616117
Recommendations
- Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
- Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
- On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
- A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
- Simpler Maltsev conditions for (weak) difference terms in locally finite varieties
- scientific article; zbMATH DE number 220084
- scientific article; zbMATH DE number 3997884
- A characterization of locally finite varieties that satisfy a nontrivial congruence identity
- Mal'tsev conditions and representability of varieties
- scientific article; zbMATH DE number 4035898
Cites work
- scientific article; zbMATH DE number 5030273 (Why is no real title available?)
- A combinatorial constraint satisfaction problem dichotomy classification conjecture
- An algebraic approach to multi-sorted constraints
- Classifying the Complexity of Constraints Using Finite Algebras
- Existence theorems for weakly symmetric operations
- On the algebraic structure of combinatorial problems
- On the complexity of H-coloring
- The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- The structure of finite algebras
- Varieties Obeying Homotopy Laws
- Varieties with few subalgebras of powers
- H-coloring dichotomy revisited
Cited in
(40)- In praise of homomorphisms
- Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
- PROJECTIVE CLONE HOMOMORPHISMS
- Dichotomy for finite tournaments of mixed-type
- scientific article; zbMATH DE number 7359806 (Why is no real title available?)
- Loop conditions for strongly connected digraphs
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
- Pseudo‐loop conditions
- Varieties defined by basic equations have the amalgamation property
- A dichotomy for first-order reducts of unary structures
- Testing the Complexity of a Valued CSP Language
- \( \omega \)-categorical structures avoiding height 1 identities
- A note on the weakest Taylor term
- Galois connections for patterns: an algebra of labelled graphs
- The smallest hard trees
- Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
- The weakest nontrivial idempotent equations
- A combinatorial constraint satisfaction problem dichotomy classification conjecture
- When symmetries are not enough: a hierarchy of hard constraint satisfaction problems
- Characterizations of several Maltsev conditions.
- The structure of polynomial operations associated with smooth digraphs.
- Loop conditions
- The constraint satisfaction problem and universal algebra
- The complexity of valued CSPs
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
- Random models of idempotent linear Maltsev conditions. I. Idemprimality
- The wonderland of reflections
- The language of stratified sets is confluent and strongly normalising
- Hybrid VCSPs with crisp and valued conservative templates
- Learnability of solutions to conjunctive queries
- Absorption in universal algebra and CSP
- A complexity dichotomy for signed \(\mathbf{H}\)-colouring
- On solvability of systems of polynomial equations
- A quasi-Mal'cev condition with unexpected application.
- scientific article; zbMATH DE number 7536107 (Why is no real title available?)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
- A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
- Universal algebraic methods for non-classical logics
- Solving equation systems in ω-categorical algebras
- Taylor term does not imply any nontrivial linear one-equality Maltsev condition
This page was built for publication: A strong Mal'cev condition for locally finite varieties omitting the unary type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616117)
