Definition:Inner Model Theory

Definition
Inner model theory is a branch of set theory and model theory which studies certain models of ZFC.