Advanced Logic Class
|
Thu, 17/01/2008 10:00 |
Jamshid Derakhshan (Oxford) |
Advanced Logic Class  |
L3 |
|
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, 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, 07/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, 21/02/2008 10:00 |
Juan Diego Caycedo (Oxford) |
Advanced Logic Class |
SR1 |
