Seminar series
Date
Wed, 28 Nov 2018
11:00
Location
N3.12
Speaker
Alex Luc Chevalier
Organisation
University of Oxford

We will talk about set theory, and, more specifically, forcing. Forcing is powerful. It is the go-to method for proving the independence of the continuum hypothesis or for understanding the (lack of) fine structure of the real numbers. However, forcing is hard. Keen to export their theorems to more mainstream areas of mathematics, set theorists have tackled this issue by inventing forcing axioms, (relatively) simple mathematical statements which describe sophisticated forcing extensions. In my talk, I will present the basics of forcing, I will introduce some interesting forcing axioms and I will show how these might be used to obtain surprising independence results.

Please contact us with feedback and comments about this page. Last updated on 03 Apr 2022 01:32.