Inner model theory - an introduction

Specialeforsvar ved Dan Saattrup Nielsen

Titel: Inner model theory - an introduction

Abstract:  We introduce the field of inner model theory, starting from extenders and potential premice. We prove the basic properties of mice such as comparison, the Dodd-Jensen lemma, condensation and solidity. We construct mice via the Jensen-Steel method of using robust K^c constructions and then use these mice to construct the core model K under the assumption that there is no proper class model with a Woodin cardinal - this is proven without the assumption that there exists a measurable cardinal in V. This construction of K is due to Steel and Jensen in their 2013 article "K without the measurable"

Vejledere:  Asger Törnqvist / David Schrittesser
Censor:      Stig Andur Pedersen, RUC