Set Theory in the UK 5

Set Theory in the UK is a nationwide seminar sponsored by the London Mathematical Society taking place 4 times per year in different locations. This program is aimed at increasing the sense of community of the set theoretic community in the UK and encourage collaborations.

The first meeting of 2020 will take place on 11 February, 2020, at the Brian Mercer Room in the Royal Society building: 6–9 Carlton House Terrace, London SW1Y 5AG.



13:30–13:55Arrival and refreshments
13:55–14:40Benedikt Löwe
14:45–15:30Tom Leinster
15:30–15:45Coffee and more refreshments
Mini Talks
  • Jan Grebik
  • Paul Blain Levy
  • Richard Matthews
  • Christopher Turner
  • Jonathan Kirby
Each talk is 10 minutes and will have an additional 5 minutes for questions at the end.
Main Talks
Tom Leinster (Edinburgh) Category theory suggests a viewpoint on many branches of mathematics, set theory included. I will attempt to explain that perspective and what it offers. This talk will mostly be an overview, and I will not assume knowledge of category theory beyond the definition of category.
Benedikt Löwe (Cambridge) We study non-Archimedean ordered fields with uncountable base number (the base number of an ordered field is the length of the shortest null sequence). We consider generalisations of the intermediate value theorem and the Bolzano-Weierstrass theorem for these fields and realise that these properties are in conflict with each other: saturation of the field is needed for (a reasonable version of) the intermediate value theorem, but implies that the standard Bolzano-Weierstrass property does not hold. We investigate weaker properties that are consistent with saturation and show that they are related to the tree property of the base number of the field. This is joint work with Carl, Galeotti, and Hanafi.
Mini Talks
Jan Grebik (Warwick) Polish group actions
Paul Blain Levy (Birmingham) A Theory of Particular Sets
Richard Matthews (Leeds) Embeddings of ZFC⁻
Christopher Turner (Bristol) Good Names and Forcing Axioms
Jonathan Kirby (UEA) Why not use large cardinals in model theory?


Please complete the registration form before January 15th!

Embedded registration form isn't working? Try this link instead!

Previous Meetings