Measurable cardinal
In mathematics, a cardinal number κ is called measurable iff there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of κ.
Equivalently, κ is measurable if it is the critical point of a non-trivial elementary embedding of the universe V into a transitive class M.
Referenced By
List of mathematical logic topics | List of mathematical topics (M-O)
|
