![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Calliope Ryan-Smith.
Wednesday 05 November 2025, 15:10-16:10
Set Theory Seminar
This is an informal seminar on set theory, meeting irregularly.
Contact: Benedikt Loewe
0 upcoming talks View 33 archived talks
The Axiom of Extendable Choice
β οΈ Part of STUK 17: https://www.dpmms.cam.ac.uk/~dbl25/STUK/17/
On the Quantifier Depth of Logical Formulas to Canonise Graphs
β οΈ Part of STUK 17: https://www.dpmms.cam.ac.uk/~dbl25/STUK/17/
The equivalence of real determinacy and real Blackwell determinacy
β οΈ Part of STUK 17: https://www.dpmms.cam.ac.uk/~dbl25/STUK/17/
End extensions of models of subsystems of ZF
β οΈ Part of STUK 14: https://www.dpmms.cam.ac.uk/~dbl25/STUK/14/
Complexity of codes for Ramsey positive sets
β οΈ Part of STUK 14: https://www.dpmms.cam.ac.uk/~dbl25/STUK/14/
The horizontal direction & other differences between the classical and higher CichoΕ diagram
β οΈ Part of STUK 14: https://www.dpmms.cam.ac.uk/~dbl25/STUK/14/
Large Cardinals & Determinacy
β οΈ Part of STUK 9: https://www.dpmms.cam.ac.uk/~dbl25/STUK/9/
Non-linearities in the analytical hierarchy
β οΈ Part of STUK 9: https://www.dpmms.cam.ac.uk/~dbl25/STUK/9/
Informal session with presentation of work-in-progress and open problems
β οΈ part of STUK 1
Strong logics in set theory and search for singular compactness
β οΈ part of STUK 1
Forcing as a computational process
β οΈ part of STUK 1
Set Theory Seminar
The Axiom of Choice
Set Theory Seminar
The Word Norm
Set Theory Seminar
Expressive Means and Mathematical Conceptualization II
Set Theory Seminar
Expressive Means and Mathematical Conceptualization I
Set Theory Seminar
Unsound Ordinals
Dr Thomas Forster
Enlarging One's Stall: Reflections upon Logic's Role within the Growth of Nineteenth Century Mathematics
β οΈ Mark Wilson does History and Philosophy of Mathematics at Pittsburgh. I have heard him talk about the foundational problems in Nineteenth Century Mathematics *before* the famous ``crisis in foundations'' (the paradoxes etc) that we of course all know
Set Theory Seminar
Boolean Relation Theory
Set Theory Seminar
Axiom of Determinacy III
Set Theory Seminar
Axiom of Determinacy II
zjm20's list
The Axiom of Determinacy
Please see above for contact details for this list.