# Topic Archive: Laver preparation

Set theory seminarFriday, May 16, 201410:00 amGC6417

# The Laver Preparation

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.

Set theory seminarFriday, December 7, 201212:00 amGC 6417