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.

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.