Exponential Thom's lemma

Alexander Antao (Manchester)

Frank Adams 1,
02 December 2015, 4.15 PM

Thom's lemma is a basic result in semialgebraic geometry, which is the prototype of semialgebraic cell decomposition, and the foundation of Lojasiewicz's effective proof of quantifier elimination for the ordered field of reals.

In this seminar, I will outline my generalisation of this result (and if time permits, the Budan-Fourier theorem) to semi-exponential-algebraic geometry, and discuss some potential model-theoretic and computational applications.