SoSe2021 seminar run by Martin Hils and Katrin Tent.

The seminar will introduce the model theory of pseudofinite structures. The first half of the seminar will be devoted to pseudofinite fields, the second half to pseudofinite groups, both very active research areas in the model theory of algebraic structures.

In 1968, James Ax determined the theory of all finite fields and showed that it is decidable. To understand this theory, it is crucial to study its infinite models, the so-called pseudofinite fields. Pseudofinite fields allow for a very elegant axiomatization. They are just those perfect fields which have a unique extension of degree n, for every natural number n, and which are pseudo-algebraically closed. Starting with the foundational work of Ax, we will study various aspects of the model theory of pseudofinite fields and in particular see the construction of the Chatzidakis-van den Dries-Macintyre measure for definable sets in pseudofinite fields, which is an important tool in many applications.

We will then study pseudofinite groups from various perspectives, starting with a general treatment of asymptotic classes and measurable structures which are defined through the existence of a measure on definable sets mimicking the Chatzidakis-van den Dries-Macintyre measure. This will be followed by an investigation of measurable groups and continued by further works on pseudofinite groups, depending on the interest of the participants.

The material treated in the seminar may serve as a basis for a Bachelor or a Master thesis.

If you are interested in participating, please contact Martin Bays <baysm@wwu.de>, or Martin Hils, or Katrin Tent.

[Ax68] J. Ax, The Elementary Theory of Finite Fields, Annals of Math. 88(2) (1968), 239-271.

[Mil15] J.S. Milne, Fields and Galois Theory, Course notes, 2015.

- [Lan72] S. Lang, Introduction to algebraic geometry, 3rd printing, with corrections. Addison-Wesley, 1972.
- [TeZi12] K. Tent and M. Ziegler, A Course in Model Theory, Lecture Notes in Logic, CUP, 2012.

Some basic results from field theory and algebraic geometry (14 April, Rosario Mennuni)

The elementary theory of all pseudofinite fields (21 April, Simone Ramello)

The embedding lemma for pseudofinite fields and the completions of Psf (28 April, Jonathan Krebs)

Characterization of pseudofinite fields and decidability of Psf (5 May, Eric Osterkamp)

(long-form notes for Eric's talk)

The measure of Chatzidakis-van den Dries-Macintyre I (12 May, Stefan Ludwig)

The measure of Chatzidakis-van den Dries-Macintyre II (19 May, Martin Bays)

Asymptotic classes and measurable structures (2 June, Tingxiang Zou)

Measurable groups of low dimension I (9 June, Thomas Koch)

- Multidimensional asymptotical classes (16 June, Dugald Macpherson)

Measurable groups of low dimension II (23 June, Jan Dobrowolski)

Classification of simple pseudofinite groups (30 June, Leon Pernak)

- Classification theory of pseudofinite groups (7 July, Anna-Maria Ammer)