Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Online/Virtual |
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
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.
No Notes/Supplements Uploaded No Video Files Uploaded