1: \begin{abstract}

2:     Let $M$ be a compact, connected

3:     manifold of positive dimension and let $\GG\leq\Homeo(M)$ be

4:     \emph{locally approximating} in the sense that

5:     for all open $U\subseteq M$ compactly

6:     contained in a single Euclidean chart of $M$,

7:     the subgroup $\GG[U]$ consisting of elements of $\GG$ supported in

8:     $U$ is dense in the full group of

9:     homeomorphisms supported in $U$. We prove that $\GG$ interprets first order arithmetic, as well as a first order predicate that encodes

10:      membership in finitely generated

11:     subgroups of $\GG$. As a consequence, we show that if $\GG$ is not finitely generated, then no group elementarily equivalent to $\GG$ can be finitely

12:     generated. We show that many finitely generated locally approximating groups of homeomorphisms $\GG$ of a manifold are prime models of their theories, and give

13:     conditions that guarantee any finitely presented group $G$ that is elementarily equivalent to $\GG$ is isomorphic to $\GG$. We thus

14:     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

15:     groups of homeomorphisms. If $\GG$ acts in a locally approximating way on a compact, connected

16:     manifold $M$ then the dimension of $M$ is uniquely determined by the

17:     elementary equivalence class of $\GG$. Moreover,

18:     if $\dim M\leq 3$ then $M$ is uniquely determined up to homeomorphism, and in

19:     for general closed smooth manifolds,

20:     the homotopy type of $M$ is uniquely determined. In this way, we obtain a generalization of a well-known result of Rubin.

21:     \end{abstract}

22: