STUK

Set Theory in the United Kingdom is a joint research group in set theory with members at the Universities of Bristol, Cambridge, East Anglia, Leeds, Oxford, Warwick and University College London. A preliminary meeting (STUK 0) of the joint research group was held at the Royal Society in London on 7 November 2018. The first meeting (STUK 1) took place Cambridge on 16 February 2019.

STUK 2

STUK 2 tool place on Wednesday, 8 May 2019, 11.00-18.00.

Location: 4th floor seminar room, School of Mathematics of the University of Bristol, Howard house, Queen's avenue, Bristol BS8 1SD.

The meeting was open to anyone. It was organized by Dan Nielsen, Philipp Schlicht and Philip Welch. It was partially funded by a London Mathematical Society Scheme 3 grant and Marie Curie Individual Fellowship 794020.

Slides and open questions

Victoria Gitman's slides

Here's a list of open research problems which were presented in the talks, discussions and open problems sessions.

Program

11.00-12.00 Set theory in second-order (Victoria Gitman, CUNY)

12.00-13.00 Lunch at the math department

13.00-14.00 Set theory and category theory (Andrew Brooke-Taylor, University of Leeds)

14.00-15.00 Presentations of open problems: Asaf Karagila, Dan Nielsen, Philip Welch

15.00-16.00 Discussions

16.00-16.30 Coffee and cake

16.30-18.00 Discussions

The talks were introductory and lead to discussions of open questions in the afternoon. There was ample time for collaboration and discussions.

Abstracts

Andrew Brooke-Taylor: Set theory and category theory

Large cardinal axioms have been used in category theory for decades, particularly in the study of accessible categories, which are a framework for a kind of category-theoretic model theory. I will give an introduction to this area, from basic definitions up to recent results.

Victoria Gitman: Set theory in second-order

Classes, from class forcing notions to elementary embeddings of the universe to inner models, play a fundamental role in modern set theory. But within first-order set theory we are limited to studying only definable classes and we cannot even express properties that necessitate quantifying over classes. Second-order set theory is a formal framework in which a model consists both of a collection of sets and a collection of classes (which are themselves collections of sets). In second-order set theory, we can study classes such as truth predicates, which can never be definable over a model of ZFC, and properties that, for instance, quantify over all inner models. With this formal background we can develop a theory of class forcing that explains why and when class forcing behaves differently from set forcing. In this talk, I will discuss a hierarchy of second-order set theories, starting from the weak Gödel-Bernays set theory GBC and going beyond the relatively strong Kelley-Morse theory KM. I will give an overview of a number of interesting second-order set theoretic principles that arose out of recent work in this area, such as, class choice principles, transfinite recursion with classes, determinacy of games on the ordinals, and the class Fodor Principle. The study of where these principles fit in the hierarchy of second-order set theories should serve as the beginning of a reverse mathematics program that I hope this talk will encourage set theorists to take part in.

Participants

Bea Adam-Day, Leeds
Joe Allen, Bristol
Hazel Brickhill, Bristol
Andrew Brooke-Taylor, Leeds
Catrin Campbell-Moore, Bristol
Adam Epstein, Warwick
Kentaro Fujimoto, Bristol
Victoria Gitman, New York
John Howe, Leeds
Asaf Karagila, Norwich
Chris Le Sueur, Norwich
Richard Matthews, Leeds
Dan Nielsen, Bristol
Simon Peacock, Bristol
Jeremy Rickard, Bristol
Philipp Schlicht, Bristol
Johannes Stern, Bristol
Christopher Turner, Bristol
Philip Welch, Bristol