Logic Seminar
Gareth Jones
McMaster University
Theorem 5.1 revisited
Abstract: Theorem 5.1 in Wilkie's exponentiation paper gives a method for constructing points on varieties defined
by certain smooth definable functions. I will generalize this to to locally polynomially bounded structures.
These leads to a description of the definable functions in such structures. This is joint work with Alex
Wilkie.
Tuesday December 5, 2006 at 4:00 PM in SEO 427