Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

DOI10.5555/3470152.3470212MaRDI QIDQ6654525zbMATH OpenFDO

Authors Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470212

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Categoricity and completeness of theories (03C35) Coloring of graphs and hypergraphs (05C15) Operations and polynomials in algebraic structures, primal algebras (08A40) Applications of universal algebra in computer science (08A70) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)
• \( \omega \)-categorical structures avoiding height 1 identities
• The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems
• The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems
• Complexity of infinite-domain constraint satisfaction

Cited in

(3)

• Promise and infinite-domain constraint satisfaction
• Smooth approximations and relational width collapses
• Three fundamental questions in modern infinite-domain constraint satisfaction

This page was built for publication: Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654525)