collaborators

6 papers

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.GR2026

All mixed identities are singular in groups with no algebraicity

Paolo Marimon, Michael Pinsker

We show that if a group admits an action with no algebraicity then all of its mixed identities are singular. Previously, such groups were only known to be lawless by a theorem of A…

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…

math.LO2025

Taking model-complete cores

Manuel Bodirsky, Bertalan Bodor, Paolo Marimon

A first-order theory is a model-complete core theory if every first-order formula is equivalent modulo to an existential positive formula; a core companion of a theory

math.RA2025

Minimal operations over permutation groups

Paolo Marimon, Michael Pinsker

We classify the possible types of minimal operations above an arbitrary permutation group. Above the trivial group, a theorem of Rosenberg yields that there are five types of minim…

math.LO2025

When invariance implies exchangeability (and applications to invariant Keisler measures)

Samuel Braunfeld, Colin Jahel, Paolo Marimon

We study the problem of when, given a countable homogeneous structure and a space of expansions of , every -invariant probability measure on is exch…