Take the 2-minute tour ×
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.

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|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

1 Answer 1

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|improve this answer
    
thanks for the answer Asaf! –  student May 18 '12 at 5:20

Your Answer

 
discard

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.