This page contains some information about Set Theory in Scotland. Send an email to firstname.lastname@example.org if you have any more information to add or correct any errors.
At present the following universities offer a taught module in set theory or a closely related area:
- Aberdeen (Set Theory - MA1511) - 1st year
- Edinburgh (Naive and Axiomatic Set Theory - MATH10034) - 4th year. Note: apparently discontinued/on hiatus
- Edinburgh (Logic, Computability and Incompleteness - PHIL10133) - 4th year
- St Andrews (Advanced Logic - PY4612) - 4th year. Given by Aaron Cotnoir/Kevin Scharp
At present, the following academics based in Scotland have (some) research intrests in set theory:
- Adam Rieger (Senior Lecturer, Philosophy, Glasgow)
- Toby Meadows (Philosophy, Aberdeen) - now at UCI
- Julian Bradfield (Reader, Informatics, Edinburgh) - applications of (descriptive) set theory to computer science/fixed point logics
- Collin Bleak (Lecturer, Mathematics, St. Andrews) - interplay between group theory and set theory
- Murdoch James Gabbay (Computer Science, Heriot Watt) - NF, stratified sets, nominal sets, abstraction in Fraenkel-Mostowski set theory
Courses for graduate students:
- Peter Milne (Philosophy, Stirling) and Philip Ebert (Philosophy, Stirling) each run logic courses for the St Andrews-Stirling philosophy MLitt, which include aspects of set theory
In 2017, the Young Set Theory Workshop was held in Edinburgh. The Edinburgh topology on a generalised Baire space seems to be have named after this.
In 2016, the first Set Theoretic Pluralism Network Symposium was held in Aberdeen.
In 2011, the Third European Set Theory Conference was held in Edinburgh.
Besides set theory, there are several researchers and taught courses in mathematical logic and logically-oriented philosophy and computer science in Scotland. In category theory, Tom Leinster is at Edinburgh, and Glasgow runs a 5th year course. St Andrews' philosophy department runs advanced logic courses, and the university houses the Arché research centre. Sicsa, the Scottish Computer Science and Informatics Aliance, may also be revelant to those interested.
N.B. the Scottish Book (MacTutor) doesn't have much to do with Scotland, but it does feature in some great stories.
Last updated: 28/03/2021