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.

Time and Place

Talk at 2:00pm in the KGRC lecture room

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.