The study of canonical inner models for large cardinal hypotheses, with particular attention to their fine structure theory, and iterability issues.
The study of canonical inner models for large cardinal hypotheses, with particular attention to their fine structure theory, and iterability issues.