# 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.