Set Theory Seminar


2010-10-13 14:00: The Axiom of Determinacy (Adrian Mathias)

2010-10-20 14:00: Axiom of Determinacy II (Adrian Mathias ())

2010-10-27 14:00: Axiom of Determinacy III (Adrian Mathias ())

2010-11-10 14:00: Boolean Relation Theory (Harvey Friedman (Ohio State University))

2011-06-02 14:00: Enlarging One's Stall: Reflections upon Logic's Role      within the Growth of Nineteenth Century Mathematics (     Mark Wilson (Pittsburgh))

2013-05-13 11:00: Unsound Ordinals (Prof. Adrian Mathias )

2014-03-28 10:00: Expressive Means and Mathematical Conceptualization I (Ken Manders, Pittsburgh)

2014-03-28 14:00: Expressive Means and Mathematical Conceptualization II (Ken Manders, Pittsburgh)

2014-04-15 15:00: The Word Norm (Cong Chen, Leeds)

2014-06-16 15:00: The Axiom of Choice (Thomas Forster, University of Cambridge)

2017-01-31 16:00: Surreal Numbers (Robert Passmann (Universiteit van Amsterdam))

2017-02-07 16:00: A set-theoretic characterisation of when CW-complexes are productive (Dr Andrew Brooke-Taylor (Leeds))

2017-02-14 16:00: Ground patterns in set theoretic multiverses (Jakob Piribauer (Universiteit van Amsterdam))

2017-02-21 16:00: An introduction to Quine's NF (Thomas Forster)

2017-02-28 16:00: Some things that might be equivalent to the Axiom of Choice (Ben Erlebach)

2017-03-07 16:00: Measures and Slaloms (Tanmay Inamdar (Norwich))

2019-02-16 11:30: STUK 1: Set Theory in the United Kingdom (various)

2019-02-16 14:00: Forcing as a computational process (Joel David Hamkins (Oxford))

2019-02-16 15:15: Strong logics in set theory and search for singular compactness (Mirna Džamonja (Norwich & Paris))

2019-02-16 16:30: Informal session with presentation of work-in-progress and open problems (Sam Adam-Day (Amsterdam), Nawaf Alsowait (Norwich), Cristina Criste (Norwich),  Adam Epstein (Warwick), Lorenzo Galeotti (Amsterdam & Hamburg), Asaf Karagila (Norwich), Philipp Schlicht (Bristol))

2019-10-23 14:30: Interpretations, an Introduction (Albert Visser)

2019-10-25 16:00: Degree Structures of Interpretations: Globalisation (Albert Visser)

2019-11-26 12:00: Tame expansions of the group of integers (Gabe Conant (DPMMS))

2023-03-07 11:30: Non-linearities in the analytical hierarchy (Juan Aguilera)

2023-03-07 14:00: Large Cardinals & Determinacy (Sandra Müller (Technische Universität Wien))

2024-05-22 16:00: On the binary linear ordering (Thilo Weinert (Udine))

2024-11-18 11:30: The horizontal direction & other differences between the classical and higher Cichoń diagram (Tristan van der Vlugt (Technische Universität Wien))

2024-11-18 14:00: Complexity of codes for Ramsey positive sets (Allison Wang (Carnegie Mellon University))

2024-11-18 15:30: End extensions of models of subsystems of ZF (Zachiri McKenzie (University of Chester))

2024-11-22 15:00: Subseries numbers for convergent subseries (Tristan van der Vlugt (Technische Universität Wien))

2025-11-05 11:30: The equivalence of real determinacy and real Blackwell determinacy (Daisuke Ikegami (Sun Yat-Sen University, Guangzhou, China))

2025-11-05 13:40: On the Quantifier Depth of Logical Formulas to Canonise Graphs (Sandra Kiefer (Exeter College, Oxford))

2025-11-05 15:10: The Axiom of Extendable Choice (Calliope Ryan-Smith)