Measurable cardinal is one-strong
ID: measurable-cardinal-is-one-strong
The ultrapower embedding associated with a measure on has critical point . For every ,so . Hence every measurable cardinal is 1-strong.
New to topics? Read the docs here!
New to topics? Read the docs here!