inner model

in set theory, a transitive model containing all ordinals

Categories: