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.


Share This Event