Locally polynomially bounded structures

Wilkie, A.J. and Jones, Gareth (2007) Locally polynomially bounded structures. Bulletin of the London Mathematical Society.

[img] PDF

Download (179kB)
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.

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: http://eprints.maths.manchester.ac.uk/id/eprint/944

Actions (login required)

View Item View Item