No items found
Past Seminars:
- Merlin Carl
Space and time complexity for Infinite Time Turing Machines
Wednesday 6th December 2023 - Jonathan Schilhan
A geometric condition for Dependent Choice
Wednesday 29th November 2023 - Shay Logan
Varieties of Variable Sharing or: How I Stopped Worrying and Learned to Love Nonuniform Substitutions
Wednesday 4th October 2023 - Bokai Yao
Forcing with Urelements
Tuesday 23rd May 2023 - Beatrice Pitton
Definable subsets of the generalized Cantor and Baire spaces
Tuesday 23rd May 2023 - Juan Aguilera
A generalization of Borel determinacy
Wednesday 22nd March 2023 - Minh Tran
Toward classifying the reducts of the complex fields
Wednesday 8th March 2023 - 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
