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!