An Introduction to Pmax forcing

Printer-friendly version
Speaker: 
Paul Larson
Institution: 
Miami University, Oxford, Ohio
Time: 
Fri, 10/10/2014 - 3:00pm - 5:00pm
Host: 
Martin Zeman
Location: 
RH 440R

Woodin's $P_{max}$ forcing when applied to a model of Determinacy produces a model which is maximal for sets of countable ordinals. We will briefly introduce $P_{max}$ and its applications and variations, and outline a proof of the maximality of $P_{max}$ extensions.