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.