A strong Mal'cev condition for locally finite varieties omitting the unary type

DOI10.1007/S00012-010-0082-3zbMATH Open1216.08002OpenAlexW2035932556MaRDI QIDQ616117FDOQ616117

Authors: Mark Siggers 

Publication date: 7 January 2011

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-010-0082-3

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

zbMATH Keywords

Mal'tsev conditionomitting type 1Taylor operation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Equational logic, Mal'tsev conditions (08B05) Applications of universal algebra in computer science (08A70) Finitary algebras (08A62)

Cites Work

• Existence theorems for weakly symmetric operations
• On the complexity of H-coloring
• Varieties with few subalgebras of powers
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• Classifying the Complexity of Constraints Using Finite Algebras
• On the algebraic structure of combinatorial problems
• The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
• The structure of finite algebras
• \(H\)-coloring dichotomy revisited
• Title not available (Why is that?)
• Varieties Obeying Homotopy Laws
• A combinatorial constraint satisfaction problem dichotomy classification conjecture
• An algebraic approach to multi-sorted constraints

Cited In (40)

• In praise of homomorphisms
• PROJECTIVE CLONE HOMOMORPHISMS
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• Title not available (Why is that?)
• Dichotomy for finite tournaments of mixed-type
• Loop conditions for strongly connected digraphs
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
• Varieties defined by basic equations have the amalgamation property
• Pseudo‐loop conditions
• 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
• The smallest hard trees
• Galois connections for patterns: an algebra of labelled graphs
• The weakest nontrivial idempotent equations
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• When symmetries are not enough: a hierarchy of hard constraint satisfaction problems
• A combinatorial constraint satisfaction problem dichotomy classification conjecture
• Characterizations of several Maltsev conditions.
• The structure of polynomial operations associated with smooth digraphs.
• Loop conditions
• The complexity of valued CSPs
• The constraint satisfaction problem and universal algebra
• Random models of idempotent linear Maltsev conditions. I. Idemprimality
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• 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
• Title not available (Why is that?)
• A quasi-Mal'cev condition with unexpected application.
• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• On solvability of systems of polynomial equations
• 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)