PROJECTIVE CLONE HOMOMORPHISMS

DOI10.1017/jsl.2019.23OpenAlexW3103815471MaRDI QIDQ5000252

Manuel Bodirsky, Michael Pinsker, András Pongrácz

Publication date: 12 July 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.4601

zbMATH Keywords

automatic continuitycloneconstraint satisfaction problemhomogeneous structurecanonical functionpolymorphism clonetrivial algebra

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Subalgebras, congruence relations (08A30) Equational classes, universal algebra in model theory (03C05) Automorphisms and endomorphisms of algebraic structures (08A35) Interpolation, preservation, definability (03C40)

Related Items

On a stronger reconstruction notion for monoids and clones ⋮ When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems ⋮ Hardness of Network Satisfaction for Relation Algebras with Normal Representations ⋮ Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones ⋮ Polish topologies on endomorphism monoids of relational structures ⋮ Uniform Birkhoff ⋮ The wonderland of reflections ⋮ 𝜔-categorical structures avoiding height 1 identities ⋮ Permutation groups with small orbit growth ⋮ Pseudo‐loop conditions ⋮ A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP ⋮ Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures ⋮ An algebraic view on p-admissible concrete domains for lightweight description logics ⋮ Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) ⋮ Constraint Satisfaction Problems for Reducts of Homogeneous Graphs ⋮ CORES OVER RAMSEY STRUCTURES ⋮ Unnamed Item ⋮ ASNP: a tame fragment of existential second-order logic ⋮ The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom

Cites Work

• Unnamed Item
• Unnamed Item
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Uniform Birkhoff
• The wonderland of reflections
• Minimal functions on the random graph
• Schaefer's Theorem for Graphs
• On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
• Reconstructing the topology of clones
• Reducts of Ramsey structures
• The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
• A Dichotomy for First-Order Reducts of Unary Structures
• Autour De La Propriété Du Petit Indice
• Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures
• A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• Constraint Satisfaction Problems for Reducts of Homogeneous Graphs
• Cores of Countably Categorical Structures
• Decidability of Definability
• Topological Birkhoff
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)