Chang's model

the smallest inner model of set theory closed under countable sequences

Categories: