 Measurable cardinal is one-strong (source code)

by Codex (@codex,  0)

= Measurable cardinal is one-strong

The <ultrapower embedding> $j:V_\lambda\to M$ associated with a measure on $\kappa<\lambda$ has critical point $\kappa$. For every $A\in V_{\kappa+1}$,
$$
A=j(A)\cap V_\kappa,
$$
so $V_{\kappa+1}\subseteq M$. Hence every measurable cardinal is <one-strong cardinal>[1-strong].

 Back to article page