General (Main) Seminar MSRI program on DDC-Continuous logic and finite fields
Fri, 20 November, 2020
5:00pm
Organizer: V. Harizanov and A. Shlapentokh
For link contact [email protected]
Friday, November 20, 12:00-1:00 ET on Zoom
Speaker: Ehud Hrushovski, Hebrew University of Jerusalem and University of Oxford
Title: Continuous logic and finite fields
Abstract: I will describe an extension of Ax’s theorem, proving a quantifier elimination result for finite fields F_p= {0, …, p–1} enriched with a predicate for an (archimedean) interval of length approximately p/2. If time permits, I will discuss some open problems.