v STUK 17

Set Theory in the United Kingdom 17

University of Cambridge
Wednesday 5 November 2025

Set Theory in the United Kingdom is a research network in set theory that was formed in 2018 and has been funded by two Scheme 3 grants of the London Mathematical Society and an INI Network Support grant by the Isaac Newton Institute for Mathematical Sciences.

The members of the network are the Universities of Bristol, Cambridge, East Anglia, Leeds, Oxford, Warwick and University College London. The current coordinators are Sam Coskey (London), Asaf Karagila (Leeds), and Benedikt Löwe (Cambridge).

STUK 17 is the seventeenth installment of the series and will take place at Churchill College, Cambridge on Wednesday, 5 November 2025. Talks will be in the Bevin Room: when entering the College through the main gate, go straight ahead along the Concourse to the end, turn left, and leave the building through a glass door, use the covered walkpath to the opposite building; the Bevin Room is one of the seminar rooms accessible from the foyer of the building.

Invited speakers:
Daisuke Ikegami (Guangzhou)
The equivalence of real determinacy and real Blackwell determinacy 		Sandra Kiefer (Oxford)
On the Quantifier Depth of Logical Formulas to Canonise Graphs 		Calliope Ryan-Smith (Cambridge)
The Axiom of Extendable Choice
11:00–11:30 Welcome
11:30–12:30 Daisuke Ikegami (Guangzhou)
The equivalence of real determinacy and real Blackwell determinacy
12:30–13:40 Lunch
13:40–14:40 Calliope Ryan-Smith (Cambridge)
The Axiom of Extendable Choice
14:40–15:10 Coffee break
15:10–16:10 Sandra Kiefer (Oxford)
On the Quantifier Depth of Logical Formulas to Canonise Graphs
16:10–16:25 Coffee break
16:25–18:00 Informal presentations
16:25–16:40. Jayde Massmann (Cambridge).
16:40–16:50. Orestis Tsakakos (Amsterdam).
16:50–17:05. Spyros Dialiatsis (Amsterdam).
17:05–17:35. Hope Duncan (Leeds).
17:35–17:50. Jake Masters (Oxford).
17:50–18:00 Archie Worth (London).

Sponsors.

EPSRC EP/V521929/1