Date:
Wed, 21/05/202511:00-13:00
Location:
Ross 70
Zoom link: https://huji.zoom.us/j/88064502129?pwd=wxoSPQlXA4AOXm7QHkuKgEof5CVf7C.1
Meeting ID: 880 6450 2129
Passcode: 701018
Title: Finite fields with second-order asymptotics.
Abstract: Consider the family of finite fields enriched with a function counting points on a definable set
varying in a family. This function is integer-valued and so not directly accessible to model theory, but one obtains interesting first-order enrichments by taking the value modulo a fixed integer (Will Johnson) or the first-order asymptotics as a real number (Chatzidakis-van-den-Dries-Macintyre). I will discuss joint work in progress with Will Johnson showing that the second-order real asymptotics yield a continuous logic expansion of the theory of finite fields that remains a simple theory.
Meeting ID: 880 6450 2129
Passcode: 701018
Title: Finite fields with second-order asymptotics.
Abstract: Consider the family of finite fields enriched with a function counting points on a definable set
varying in a family. This function is integer-valued and so not directly accessible to model theory, but one obtains interesting first-order enrichments by taking the value modulo a fixed integer (Will Johnson) or the first-order asymptotics as a real number (Chatzidakis-van-den-Dries-Macintyre). I will discuss joint work in progress with Will Johnson showing that the second-order real asymptotics yield a continuous logic expansion of the theory of finite fields that remains a simple theory.