inner model

in set theory, a transitive model containing all ordinals

en-GB/ˈɪnə ˈmɒdəl/
en-US/ˈɪnɚ ˈmɑdəl/

زمرے:

transitive model