inner model
in set theory, a transitive model containing all ordinals
core model
definable inner model of the universe of all sets
Chang's model
the smallest inner model of set theory closed under countable sequences
minimal model
minimal standard model of ZFC