2019 seminar talk: Mighty Mouse
Talk held by Sy-David Friedman (KGRC) at the KGRC seminar on 2019-06-13.
Abstract
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.
+43-1-4277-50501.
Last updated: 2010-12-16, 04:37.