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