Relationship With Ordinal Subscripts
If the axiom of choice holds, every cardinal number has an initial ordinal. If that initial ordinal is then the cardinal number is of the form for the same ordinal subscript λ. The ordinal λ determines whether is a weak limit cardinal. Because if λ is a successor ordinal then is not a weak limit. Conversely, if a cardinal κ is a successor cardinal, say then Thus, in general, is a weak limit cardinal if and only if λ is zero or a limit ordinal.
Although the ordinal subscript tells whether a cardinal is a weak limit, it does not tell whether a cardinal is a strong limit. For example, ZFC proves that is a weak limit cardinal, but neither proves nor disproves that is a strong limit cardinal (Hrbacek and Jech 1999:168). The generalized continuum hypothesis states that for every infinite cardinal κ. Under this hypothesis, the notions of weak and strong limit cardinals coincide.
Read more about this topic: Limit Cardinal
Famous quotes containing the word relationship:
“Women, because of their colonial relationship to men, have to fight for their own independence. This fight for our own independence will lead to the growth and development of the revolutionary movement in this country. Only the independent woman can be truly effective in the larger revolutionary struggle.”
—Women’s Liberation Workshop, Students for a Democratic Society, Radical political/social activist organization. “Liberation of Women,” in New Left Notes (July 10, 1967)