The logic seminar is given by invited speakers from across the UK and abroad who present recent research in the field. It is organised by Prof Jochen Koenigsmann. The talks are usually on Thursdays at 5:30pm in L6. Sometimes the logic and number theory groups hold a joint seminar.
The number of solutions of a given algebro-geometric configuration, when it is finite, does not change upon a small perturbation of the parameters; this persists
even upon specializations that change the topology. The precise formulation of this principle of Poncelet and Schubert required, i.a., the notions of algebraically closed fields, flatness, completenesss, multiplicity. I will explain a model-theoretic version, presented in quite different terms. It applies notably to difference equations involving the Galois-Frobenius automorphism $x^p$, uniformly in a prime $p$. In fixed positive characteristic, interesting technical problems arise that I will discuss if time permits.
- Logic Seminar
In recent times, there have been more collaborative efforts between the logic group and the ComLab, both in terms of research and holding seminars. In particular, the OASIS seminar is host to speakers that both model-theorists and those working in the ComLab find interesting.
Advanced Logic Class
The advanced logic class is usually held on Thursdays at 11am in C5. It typically provides a forum for current PhD students and postdocs to present work in progress, or to work through important papers and digest recent advances in the subject. Prof Boris Zilber is in charge of these classes.
Junior Logic Seminar
These seminars are highly informal and are given by graduate students in the logic group to each other (though all are welcome). The current organiser is Alfons Ruiz Guido. The seminars this term are at 5pm on Mondays in L3.