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:55  Arrival and refreshments 
13:55–14:40  Benedikt Löwe 
14:40–14:45  Break 
14:45–15:30  Tom Leinster 
15:30–15:45  Coffee and more refreshments 
15:45–17:00  Mini Talks
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 nonArchimedean 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 BolzanoWeierstrass 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 BolzanoWeierstrass 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!