The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field (Q836113): Difference between revisions

The author studies a particular expansion of the real field, namely the one generated by the standard map on an o-minimal expansion \({\mathbf R}\) of a real closed field. This expansion is denoted by \(\mathbb R_{\text{ind}}\) and the main result of the paper (Theorem 1.1) asserts that any subset of \({\mathbf R}\) definable in \(\mathbb R_{\text{ind}}\) is a finite union of differences \(\text{st}(X)\setminus \text{st}(Y)\) where \(X,Y\subseteq{\mathbf R}^n\) are definable in \({\mathbf R}\) and st denotes the standard part map in \({\mathbf R}\). In order to prove this theorem, the author introduces the notion of a ``good cell'' and shows that any such good cell is of the form \(\text{st}(X)\setminus \text{st}(Y)\) with definable \(X,Y\subseteq {\mathbf R}^n\) (Lemma 3.5). She then obtains a theorem of ``Good Cell Decomposition'', first for boxes in \({\mathbf R}\) (Theorem 4.3) and then for definables sets in \({\mathbf R}\) (Corollary 4.4). Theorem 1.1 then follows from Lemma 3.5 and Corollary 4.4. These results are finally used to study a question by Hrushovski, Peterzil and Pillay about the existence of measures with certain invariance properties on the lattice of bounded definable sets in \({\mathbf R}^n\). The author gives a partial answer to this question, assuming a hypothesis of ``strong boundedness'' (Theorem 6.5).