Seminar series
Date
Thu, 07 Feb 2013
Time
17:00 -
18:00
Location
L3
Speaker
Peter Holy
Organisation
Bristol
The Outer Model Programme investigates L-like forcing extensions of the universe, where we say that a model of Set Theory is L-like if it satisfies properties of Goedel's constructible universe of sets L. I will introduce the Outer Model Programme, talk about its history, motivations, recent results and applications. I will be presenting joint work with Sy Friedman and Philipp Luecke.