huge cardinal

cardinal number κ such that there exists an elementary embedding j: V → M from V into a transitive inner model M with critical point κ, such that every sequence of length j(κ) whose elements are in M belongs to M

دسته بندی ها: