Real Algebraic and Analytic Geometry
Previous   Next
133. A. J. Wilkie:
Covering definable open sets by open cells.

e-mail:
homepage: http://www.maths.ox.ac.uk/~wilkie/

Submission: 2004, September 23.

Abstract:
Let $\mathfrak{M}$=$\langle M, \le, +, \cdot, \ldots \rangle$ be an o-minimal expansion of a real closed field. I show that any $\mathfrak{M}$-definable, bounded open subset of $M^n$ is the union of finitely many open cells.

Full text, 5p.: dvi 20k, ps.gz 82k, pdf 131k.