Mathematics – Logic
Scientific paper
2007-01-18
Mathematics
Logic
Change of title
Scientific paper
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.
Jones G. O.
Wilkie A. J.
No associations
LandOfFree
Locally Polynomially Bounded Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Locally Polynomially Bounded Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Locally Polynomially Bounded Structures will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-70822