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 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!