2007.200: Locally polynomially bounded structures
2007.200: A.J. Wilkie and Gareth Jones (2007) Locally polynomially bounded structures. Bulletin of the London Mathematical Society.
Full text available as:
 | PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 176 Kb |
Official URL: http://front.math.ucdavis.edu/0701.5523
Abstract
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise implicitly defined over the basic functions in the language.
| Item Type: | Other |
|---|---|
| Subjects: | MSC 2000 > 03 Mathematical logic and foundations |
| MIMS number: | 2007.200 |
| Deposited By: | Mrs Louise Healey |
| Deposited On: | 21 November 2007 |
Download Statistics: last 4 weeks
Repository Staff Only: edit this item