Showing 2025Show all
2 papers · 1 filter
math.LO2025
A guide to topological reconstruction on endomorphism monoids and polymorphism clones
Paolo Marimon, Michael Pinsker
Various spaces of symmetries of a structure are naturally endowed with both an algebraic and a topological structure. For example, the automorphism group of a structure is, on top…
cs.LO2025
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
Michael Pinsker, Jakub Rydval, Moritz Schöbi +2
The Feder-Vardi dichotomy conjecture for Constraint Satisfaction Problems (CSPs) with finite templates, confirmed independently by Bulatov and Zhuk, has an extension to certain wel…