To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Abstract:

I'll describe an extension of Ax's theorem, proving a quantifier elimination result for finite fields $\Ff_p=\{0,\ldots,p-1\}$ enriched with a predicate for an (archimedean) interval of length approximately $p/2$. If time permits, I'll discuss some open problems.