Cofinality of a continuous cardinal hierarchy

ID: cofinality-of-a-continuous-cardinal-hierarchy

At a nonzero limit ordinal , a strictly increasing continuous sequence of cardinals satisfies . A cofinal sequence of indices gives the upper bound. Conversely, bounds for a cofinal set of values must have cofinal indices, giving the lower bound. In particular the assertion applies to Beth numbers.

New to topics? Read the docs here!