An uncountable κ carrying a κ-complete non-principal ultrafilter. Equivalent to existence of a non-trivial elementary embedding j:V→M with critical point κ (Scott/Kunen). Implies V≠L.
An uncountable κ carrying a κ-complete non-principal ultrafilter. Equivalent to existence of a non-trivial elementary embedding j:V→M with critical point κ (Scott/Kunen). Implies V≠L.