Cardinal fixed point of the singular cardinal enumeration

ID: cardinal-fixed-point-of-the-singular-cardinal-enumeration

There is an uncountable cardinal number with . Iterate starting with . If there is no earlier fixed point, the increasing supremum has countable cofinality, hence is a singular cardinal. The singular cardinal enumeration is cofinal in below index , and continuity at this singular supremum gives equality.

New to topics? Read the docs here!