You are here: Home › Events › Logic and Set Theory Seminars
# Logic and Set Theory Seminars

- Joel David Hamkins

Bi-interpretation in set theory

Tuesday 25th February 2020, 4:00 pm – 5:30 pm

Fry Building,
LG.22

- Philipp Schlicht

The lengths of Pi11 ranks

Wednesday 26th February 2020, 3:00 pm – 4:00 pm

Fry Building,
G.07

### Past Seminars:

- 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