o-minimal analytic separation of sets in dimension 2 (Q1006609)

The author proves the very interesting theorem that definable analytic separation of definable sets in the plane is equivalent with density of definable analytic germs in the Hardy field \(H_{\mathcal{M}}\). This result is a generalization in dimension \(2\) of the famous separation theorem of \textit{T. Mostowski} [``Some properties of the ring of Nash functions'', Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 3, 245--266 (1976; Zbl 0335.14001)].