We are currently looking for a new person to run the

This page contains some information about Set Theory in Scotland. Send an email to settheoryscotland@gmail.com 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:

At present, the following academics based in Scotland have (some) research intrests in set theory:

Courses for graduate students:

In 2017, the Young Set Theory Workshop was held in Edinburgh. The

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.We are currently looking for a new person to run the page. Please email settheoryscotland@gmail.com, or contact Ned Wontner if you are interested in taking some responsibility for the page.

__page__. Please email settheoryscotland@gmail.com, or contact Ned Wontner if you are interested in taking some responsibility for the page.This page contains some information about Set Theory in Scotland. Send an email to settheoryscotland@gmail.com 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*- Back for 2022-2023, now: Axiomatic Set Theory (MATH11236) - 5th year

- 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.We are currently looking for a new person to run the page. Please email settheoryscotland@gmail.com, or contact Ned Wontner if you are interested in taking some responsibility for the page.

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: 21/02/2023