measurable cardinal
large cardinal number that is the critical point of a nontrivial elementary embedding of the universe into a transitive class
strongly compact cardinal
large cardinal number 𝜅 such that any 𝜅‐complete filter extends to a 𝜅‐complete ultrafilter
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
strong cardinal
kind of large cardinal number