Showing math.GRShow all
2 papers · 1 filter
math.GR2023
Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
Thomas Koberda, J. de la Nuez González
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold.…
math.GR2023
First order rigidity of homeomorphism groups of manifolds
Sang-hyun Kim, Thomas Koberda, J. de la Nuez González
For every compact, connected manifold , we prove the existence of a sentence in the language of groups such that the homeomorphism group of another compact manifold sa…