Abstract:Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that $\mathcal G$ interprets first order arithmetic, as well as a first order predicate that encodes membership in finitely generated subgroups of $\mathcal G$. As a consequence, we show that if $\mathcal G$ is not finitely generated, then no group elementarily equivalent to $\mathcal G$ can be finitely generated. We show that many finitely generated locally approximating groups of homeomorphisms $\mathcal G$ of a manifold are prime models of their theories, and give conditions that guarantee any finitely presented group $G$ that is elementarily equivalent to $\mathcal G$ is isomorphic to $\mathcal G$. We thus recover some results of Lasserre about the model theory of Thompson's groups $F$ and $T$. Finally, we obtain several action rigidity result for locally approximating groups of homeomorphisms. If $\mathcal G$ acts in a locally approximating way on a compact, connected manifold $M$ then the dimension of $M$ is uniquely determined by the elementary equivalence class of $\mathcal G$. Moreover, if $\dim M\leq 3$ then $M$ is uniquely determined up to homeomorphism. In for general closed smooth manifolds, the homotopy type of $M$ is uniquely determined. In this way, we obtain a generalization of a well-known result of Rubin.

On the existence of locally-defined projective interpolations

On Convergence of Quasi-Grünwald Interpolatory Operators

A Construction of Interpolating Space Curves with Any Degree of Geometric Continuity

Interpolation in Weighted Projective Spaces

Interpolation theorems for conjugations and applications

The interpolation problem: When can you pass a curve of a given type through N random points in space?

On projective spaces over local fields

The Fundamental Theorem for locally projective geometries

Interpolation by Generalized Polynomials with Restricted Ranges

On local intertwining periods

On the theory of generalized quasiconformal mappings

Interpolation on Convex-set Valued Lebesgue Spaces and its Applications

On projective varieties of general type with many global k-forms

Invariant Interpolation Space for Generalized Multivariate Birkhoff Interpolation

Polyharmonic and Related Kernels on Manifolds: Interpolation and Approximation

Local Cr Interpolations on Simplicial Grids in Any Dimension

Onesided, intertwining, positive and copositive polynomial approximation with interpolatory constraints

A discrete framework for the interpolation of Banach spaces

Locally approximating groups of homeomorphisms of manifolds