Algebra Seminar talk
A journey through the world of mice and games
This talk will be an informal and gentle introduction to the research area called "inner model theory". I will introduce determinacy of infinite two player games and outline classical as well as recent results connecting this notion with canonical models of set theory (called "mice"). We will discuss versions of the inner model problem and why they are central to set theory together with recent results suggesting that new methods are required for major advances on these problems.