|
Richard Ketchersid |
My research concerns the interplay between determinacy and
canonical inner models for large cardinals, called mice
. A particular goal, or rather, "pipe dream", is to understand the
coding lemma from determinacy in terms of directed systems of mice
similar to those used Steel and Woodin for calculating HODL(R)
assuming ADL(R).