UC Berkeley

Descriptive inner model theory is the study of connections between descriptive set theory and inner model theory. Such connections form the basis of the core model induction, which we use to prove relative consistency results relating strong forms of the Axiom of Determinacy with the existence of a strong ideal on having a certain property related to homogeneity. The main innovation is a unified approach to the "gap in scales" step of the core model induction.