Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Usually the notion of cofinality is used for cardinals, though there seems to be no problem defining it for non-cardinal limit ordinals also: the cofinality of a limit $\alpha$ is the least $\gamma$ such that there is a less than $\gamma$ sequence of ordinals less than $\gamma$ such that the $\operatorname{sup}$ of the sequence is $\alpha$. But running through some examples leaves me wondering whether the notion is interesting: $\operatorname{cf} (\omega \cdot n) = \omega$, and $\operatorname{cf}(\epsilon_0) = \omega$, since $\omega, \omega^\omega, \omega^{\omega^\omega}, \dots$ is a confinal sequence.

My question is, can we prove that some non-cardinal ordinals are regular? More particularly, are there any countable ordinals that can be proven regular?

share|cite|improve this question
In fact, many texts define cofinality for ordinals. You can find some of then using google books. – Martin Sleziak May 18 '12 at 8:09
up vote 3 down vote accepted

The answer is no. Every regular ordinal is a cardinal.

The reason is simple, if $\alpha$ is not a cardinal, then it has a bijection with some smaller $\gamma$. This bijection is a sequence of order type $\gamma$ which is cofinal in $\alpha$. Therefore the cofinality of $\alpha$ is at most $\gamma<\alpha$.

If you want this sequence to be strictly increasing you can inductively thin out the sequence resulting from the bijection, at each step either you have finished and have an order type smaller than $\gamma$ or you will have a strictly increasing sequence of order type $\gamma$. Either way, we have $<\alpha$.

share|cite|improve this answer
thanks for the answer Asaf! – lesnikow May 18 '12 at 5:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.