2019 seminar talk: Mighty Mouse

Talk held by Sy-David Friedman (KGRC) at the KGRC seminar on 2019-06-13.


Mighty Mouse is the least iterable structure with "many" strong cardinals of any finite order. Although Mighty Mouse doesn't look very big (she is much smaller than mice with even one Woodin cardinal) she is indeed Mighty: Iterated ultrapowers of Mighty Mouse result in inner models over which the entire universe of sets is generic. The reason for this is that the Stable Core can be captured by such an iteration.

A video recording of this talk is available on YouTube.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.