inner model

in set theory, a transitive model containing all ordinals

دسته بندی ها: