**No items found**

### Past Seminars:

- Kentaro Sato

Finitist Axiomatic Truth

Friday 7th June 2019 - Andrew Brooke-Taylor

Set theory and category theory

Wednesday 8th May 2019 - Victoria Gitman

Set theory in second-order

Wednesday 8th May 2019 - Juan Aguilera

F_sigma Games of Length omega^2

Wednesday 1st May 2019 - Dorottya Sziraki

Open graphs and hypergraphs on definable subsets of generalized Baire spaces

Tuesday 2nd April 2019 - Sandra Müller

The consistency strength of long projective determinacy

Tuesday 5th February 2019 - John Truss

Surjectively rigid chains

Tuesday 29th January 2019 - Sakae Fuchino

Reflection Principles formulated as Löwenheim-Skolem Theorems for stationary logics and the Continuum Problem

Tuesday 22nd January 2019 - Arno Pauly

Uniformity aspects of determinacy

Tuesday 8th January 2019 - Philipp Schlicht

Oligomorphic groups are essentially countable

Tuesday 18th December 2018 - Gabriel Fernandes

Tall cardinals in extender models

Tuesday 9th October 2018 - Asaf Karagila

Models of Bristol

Tuesday 2nd October 2018 - Andrew Brooke-Taylor

Cichon's diagram for higher cardinals

Tuesday 1st May 2018 - Philip Welch

The Härtig Quantifier Model

Wednesday 13th December 2017 - Professor Colin McLarty

Proofs and the love of wisdom: what do we learn by proving a theorem in arithmetic?

Wednesday 15th November 2017 - Sabrina Ouazzani

A brief story of gaps in the infinite time Turing machines

Tuesday 9th May 2017