Wilkie, A.J. and Jones, Gareth (2007) Locally polynomially bounded structures. Bulletin of the London Mathematical Society.
![[thumbnail of Locally_Polynomially.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Locally_Polynomially.pdf Download (179kB) |
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 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations |
| Depositing User: | Ms Lucy van Russelt |
| Date Deposited: | 21 Nov 2007 |
| Last Modified: | 20 Oct 2017 14:12 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/944 |
Actions (login required)
 |
View Item |