Measuring definable sets in o-minimal fields (Q891181)

In the paper under review, the authors define a measure on the definable sets contained in the finite part of a Cartesian power of an o-minimal field \(R\) that takes values in the Dedekind completion of a quotient of \(R\) which has the property that a set \(X \subset R^n\) is assigned to a positive measure if and only if the interior of \(X\) is non-empty. Moreover, denote by \(B[n]\) be the lattice of all bounded \(R\)-definable subsets of \(R^n\), and define the relation \(\sim\) on \(B[n]\) by setting \(X \sim Y\) if and only if for some definable \(C^1\)-diffeomorphism \(\phi\) with absolute value of the determinant of the Jacobian of \(\phi\) at \(x\) equal to \(1\) for all \(x \in X\), \(\phi(X) = Y\) modulo a set of dimension \(<n\). This relates to a problem posed by \textit{E. Hrushovski} et al. [J. Am. Math. Soc. 21, No. 2, 563--596 (2008; Zbl 1134.03024)].