29 citations · 162 across the 50 of their papers we have counts for
56 papers
Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
Tomáš Nagy, Michael Pinsker
We investigate the `local consistency implies global consistency' principle of strict width among structures within the scope of the Bodirsky-Pinsker dichotomy conjecture for infin…
On the Zariski topology on endomorphism monoids of omega-categorical structures
Michael Pinsker, Clemens Schindler
The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action o…
The semigroup of increasing functions on the rational numbers has a unique Polish topology
Michael Pinsker, Clemens Schindler
The set of increasing functions on the rational numbers, equipped with the composition operation, naturally forms a topological semigroup with respect to the topology of pointwise…
Symmetries of structures that fail to interpret something finite
Libor Barto, Bertalan Bodor, Marcin Kozik +2
We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters…
An order out of nowhere: a new algorithm for infinite-domain CSPs
Antoine Mottet, Tomáš Nagy, Michael Pinsker
We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the pro…
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep
Michael Pinsker
A Constraint Satisfaction Problem (CSP) is a computational problem where we are given variables and constraints about them; the question is whether the variables can be assigned va…