Advanced Logic Class (past)
|
Thu, 14/05/2009 11:00 |
Prof. Boris Zilber (Oxford) |
Advanced Logic Class  |
SR1 |
|
Thu, 07/05/2009 11:00 |
Prof. Boris Zilber (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 30/04/2009 11:00 |
Prof. Boris Zilber (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 19/02/2009 11:00 |
T. Foster (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 29/01/2009 11:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 22/01/2009 11:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 12/06/2008 11:00 |
Jonathan Kirby (Oxford) |
Advanced Logic Class |
L3 |
|
Thu, 05/06/2008 11:00 |
Jonathan Kirby (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 22/05/2008 11:00 |
Jonathan Kirby (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 15/05/2008 11:00 |
Jonathan Kirby (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 08/05/2008 11:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class |
SR1 |
| I will discuss some theorems of Chatzidakis, van den Dries, and Macintyre on definable sets over finite fields (Crelle 1992). This includes a geometric decomposition theorem for definable sets and a generalization of the Lang-Weil estimates, and uses model theory of finite and pseudo-finite fields. If time permits, I shall mention a recent application of this work by Emmanuel Kowalski on new bounds for exponential sums (Israel Journal of Math 2007). I would also like to mention some connections to the model theory of p-adic and motivic integrals and to general problems on counting and equidistribution of rational points. | |||
|
Thu, 01/05/2008 11:00 |
Tom Foster (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 21/02/2008 10:00 |
Juan Diego Caycedo (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 14/02/2008 10:00 |
Juan Diego Caycedo (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 07/02/2008 10:00 |
Juan Diego Caycedo (Oxford) |
Advanced Logic Class |
SR1 |
|
Thu, 31/01/2008 10:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class |
L3 |
| In these (three) lectures, I will discuss the following topics: 1. The theorems of Ax on the elementary theory of finite and pseudo-finite fields, including decidability and quantifier-elimination, variants due to Kiefe, and connection to Diophantine problems. 2. The theorems on Chatzidakis-van den Dries-Macintyre on definable sets over finite and pseudo-finite fields, including their estimate for the number of points of definable set over a finite field which generalizes the Lang-Weil estimates for the case of a variety. 3. Motivic and p-adic aspects. | |||
|
Thu, 24/01/2008 10:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class |
L3 |
| In these (three) lectures, I will discuss the following topics: 1. The theorems of Ax on the elementary theory of finite and pseudo-finite fields, including decidability and quantifier-elimination, variants due to Kiefe, and connection to Diophantine problems. 2. The theorems on Chatzidakis-van den Dries-Macintyre on definable sets over finite and pseudo-finite fields, including their estimate for the number of points of definable set over a finite field which generalizes the Lang-Weil estimates for the case of a variety. 3. Motivic and p-adic aspects. | |||
|
Thu, 17/01/2008 10:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class |
L3 |
|
Thu, 22/11/2007 15:00 |
Jonathan Kirby |
Advanced Logic Class |
SR1 |
|
Thu, 25/10/2007 11:00 |
J. Kirby (Oxford) |
Advanced Logic Class |
SR1 |
