Sean Cox: Generalized Laver Diamond

Speaker: Sean Cox
Institution: Fields Institute
Time: Mon, 11/26/2012 – 4:00pm – 5:30pm
Location: RH 440R

Laver functions for supercompact cardinals appear in many forcing constructions, including all known constructions of models of strong forcing axioms. Viale proved that the Proper Forcing Axiom implies the existence of a “generic” Laver function from $\omega_2 \to H_{\omega_2}$. I will discuss his result and some recent work of mine on generic Laver functions.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.