# Mathematical Sciences Research Institute

Home » DDC - Online Seminar: Continuous logic and finite fields

# Seminar

DDC - Online Seminar: Continuous logic and finite fields November 20, 2020 (09:00 AM PST - 10:00 AM PST)
Parent Program: Decidability, definability and computability in number theory: Part 1 - Virtual Semester MSRI: Online/Virtual
Speaker(s) Ehud Hrushovski (The Hebrew University of Jerusalem)
Description

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

Video
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.