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.
Traditionally, logic was thought of as `principles of right reason'. Early twentieth century philosophy of mathematics focused on the problem of a general foundation for all mathematics. In contrast, the last 70 years have seen model theory develop as the study and comparison of formal theories for studying specific areas of mathematics. While this shift began in work of Tarski, Robinson, Henkin, Vaught, and Morley, the decisive step came with Shelah's stability theory. After this paradigm shift there is a systematic search for a short set of syntactic conditions which divide first order theories into disjoint classes such that models of different theories in the same class have similar mathematical properties. This classification of theories makes more precise the idea of a `tame structure'. Thus, logic (specifically model theory) becomes a tool for organizing and doing mathematics with consequences for combinatorics, diophantine geometry, differential equations and other fields. I will present an account of the last 70 years in model theory that illustrates this shift. This reports material in my recent book published by Cambridge: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice.
- 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.