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|
Official URL: http://front.math.ucdavis.edu/0701.5523
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.
|Subjects:||MSC 2000 > 03 Mathematical logic and foundations|
|Deposited By:||Mrs Louise Healey|
|Deposited On:||21 November 2007|