Blog Archives
Topic Archive: Laver function
Set theory seminarFriday, May 16, 201410:00 amGC6417
The Laver Preparation
The CUNY Graduate Center
I will present the result of Laver demonstrating that the existence of a supercompact cardinal implies the existence of a Laver function, and using this to construct a model with a supercompact cardinal k which remains supercompact in any k-directed-closed forcing extension.