Gareth Jones : Theorem 5.1 revisited

Posted by Matthias Aschenbrenner , part of the Logic Seminar.

At

Dec. 5, 2006, 4 p.m.

In

SEO 427

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.