Showing math.LOShow all
3 papers · 1 filter
math.LO2026
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…
math.LO2026
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…
math.LO2026
Minimal and intrinsic topologies on monoids of elementary embeddings
J. de la Nuez Gonzalez, Zaniar Ghadernezhad, Paolo Marimon +1
To every -categorical structure one can associate two spaces of symmetries which determine the structure up to first-order bi-interpretability: the topological group $\math…