**No items found**

### Past Seminars:

- Sam Coskey

Jumps in the Borel complexity hierarchy

Tuesday 15th November 2022 - Sean Cox

Homological algebra, elementary submodels, and stationary logic

Tuesday 1st November 2022 - Frank Stephan

Initial Segment Complexity for Measures

Thursday 20th October 2022 - Will Stafford

Is the Proof-Theoretically Valid Logic Intuitionistic?

Thursday 29th September 2022 - Tanmay Inamdar

From Sierpinski-type colourings to Ulam-type matrices

Thursday 16th June 2022 - Juan Aguilera

The Pi^1_2 Consequences of a theory

Wednesday 15th December 2021 - Joan Bagaria

Some recent results on Structural Reflection

Wednesday 16th June 2021 - Christopher Turner

Forcing Axioms and Name Principles

Wednesday 2nd June 2021 - Sandra Müller

The strength of determinacy when all sets are universally Baire

Wednesday 26th May 2021 - Sam Adam-Day

The continuous gradability of the cut-point orders of R-trees

Wednesday 19th May 2021 - Peter Koellner

Minimal Models and β-Categoricity

Wednesday 10th March 2021 - Andrew Marks

The decomposability conjecture

Wednesday 24th February 2021 - Spencer Unger

Stationary reflection at successors of singular cardinals

Wednesday 3rd February 2021 - Dima Sinapova

Iteration, reflection, and singular cardinals

Wednesday 20th January 2021 - Kameryn Williams

The geology of inner mantles

Wednesday 2nd December 2020 - Gabriel Goldberg

Even ordinals and the Kunen inconsistency

Wednesday 18th November 2020 - Mirna Džamonja

On Wide Aronszajn Trees

Wednesday 4th November 2020 - Andreas Blass

Wednesday 21st October 2020 - Philip Welch

Higher type recursion for infinite time Turing machines XI

Wednesday 8th July 2020 - Philip Welch

Higher type recursion for infinite time Turing machines X

Wednesday 1st July 2020 - Alessandro Andretta

Generalised Iteration Trees

Wednesday 24th June 2020 - Philip Welch

Higher type recursion for infinite time Turing machines IX

Wednesday 24th June 2020 - Philip Welch

Higher type recursion for infinite time Turing machines VIII

Wednesday 17th June 2020 - Peter Holy

Ideal and Tree Forcing Topologies

Wednesday 10th June 2020 - Philip Welch

Higher type recursion for infinite time Turing machines VII

Wednesday 10th June 2020 - Philip Welch

Higher type recursion for infinite time Turing machines VI

Wednesday 3rd June 2020 - Philip Welch

Higher type recursion for infinite time Turing machines V

Wednesday 27th May 2020 - Philip Welch

Higher type recursion for infinite time Turing machines IV

Wednesday 20th May 2020 - Philip Welch

Higher type recursion for infinite time Turing machines III

Wednesday 13th May 2020 - Philip Welch

Higher type recursion for infinite time Turing machines II

Wednesday 6th May 2020 - Philip Welch

Higher type recursion for infinite time Turing machines I

Wednesday 29th April 2020 - Philipp Schlicht

The lengths of Pi11 ranks

Wednesday 26th February 2020 - Joel David Hamkins

Bi-interpretation in set theory

Tuesday 25th February 2020 - Benoit Monin

Reverse mathematics and the Ramsey theorem for pairs

Wednesday 12th February 2020 - Philip Welch

An iteration to define L[Reg]

Wednesday 29th January 2020 - Christopher Turner

Generalised Prikry forcings and L[Card]

Wednesday 4th December 2019 - Philipp Lücke

Definable pathological sets

Wednesday 27th November 2019 - Beatrice Adam-Day

Indestructibility of Large Cardinals

Wednesday 30th October 2019 - Paul Shafer

Exploring the strength of Caristi's fixed point theorem and Ekeland's variational principle

Wednesday 23rd October 2019 - Asaf Karagila

Realizing realizability results with symmetric extensions

Wednesday 23rd October 2019 - Daisuke Ikegami

On supercompactness of omega_1

Tuesday 20th August 2019 - 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