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!