Article ID Journal Published Year Pages File Type
4662266 Annals of Pure and Applied Logic 2009 9 Pages PDF
Abstract

We study the Hardy field associated with an o-minimal expansion of the real numbers. If the set of analytic germs is dense in the Hardy field, then we can definably analytically separate sets in R2, and we can definably analytically approximate definable continuous unary functions. A similar statement holds for definable smooth functions.

Related Topics
Physical Sciences and Engineering Mathematics Logic