Topic Archive: Woodin cardinals
Set theory seminarFriday, February 5, 201610:00 amGC 6417
We compute the mantle of the minimal mouse with a Woodin and strong cardinal. It turns out to be the core model of the mouse. This is a joint work with Ralf Schindler.