11 citations · 38 across the 23 of their papers we have counts for
5 papers · 1 filter
Uniform Birkhoff
Mai Gehrke, Michael Pinsker
We show that pseudovarieties of finitely generated algebras, i.e., classes of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can…
Smooth approximations and CSPs over finitely bounded homogeneous structures
Antoine Mottet, Michael Pinsker
We develop the novel machinery of smooth approximations, and apply it to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament, various homogeneous…
ω-categorical structures avoiding height 1 identities
Manuel Bodirsky, Antoine Mottet, Miroslav Olšák +3
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial…
Cores over Ramsey structures
Antoine Mottet, Michael Pinsker
We prove that if an -categorical structure has an -categorical homogeneous Ramsey expansion, then so does its model-complete core.
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
Pierre Gillibert, Julius Jonušas, Michael Kompatscher +2
We produce a class of -categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to -categorical s…