Blog Archives

Topic Archive: Core models

Set theory seminarFriday, April 8, 201610:00 amGC 6417

Dominik Adolf

Core model induction without the axiom of choice

University of California, Berkeley

We’ll discuss problems arising when trying to apply CMI in models where even the weakest forms of choice might fail. We’ll show how to deal with these problems in the particular case of a model in which all uncountable cardinals are singular.

Set theory seminarFriday, February 5, 201610:00 amGC 6417

Grigor Sargsyan

Varsovian models

Rutgers University

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.