Problem Statement:(adsbygoogle = window.adsbygoogle || []).push({});

Show that the set X of all ordinals less than the first uncountable ordinal is countably compact but not compact.

Let μ be the first uncountable ordinal.

The latter question is easy to show, but I stumbled upon a curiosity while attempting the former. In showing the former, I simply tried to show that every infinite subset of X should have a limit point (or in particular, an ω-accumulation point) in X. And so, in doing this, I needed to ensure that any infinite subset with μ as a limit point has another limit point in X. I reasoned that the first ω ordinals of this subset should only span a countable range of ordinals, since each of their co-initials are countable and a countable union of countable sets is countable. Any neighborhood of μ, however, is uncountable, so the limit point of the first ω ordinals of this subset cannot be μ. But when I considered the following set -

The sequence {ω^{n}} = ω, ω^{2}, ... , ω^{n}, ...

- it was hard to discern a limit point other than ω^{ω}. Aside from what the exact nature of the first uncountable ordinal is chosen to be, there should still be a limit point somewhere before ω^{ω}. So simply put, what ordinals exist between ω^{ω}and the sequence I presented?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Ordinal Arithmetic

Loading...

Similar Threads - Ordinal Arithmetic | Date |
---|---|

A Measures of Center/Spread in Categorical/Ordinal | Jan 16, 2018 |

A Simmons notation for transfinite ordinals | Jan 12, 2018 |

I Recursive Ordinals and Creativity | Dec 14, 2017 |

A How can we construct ordinals after large Veblen? | Dec 11, 2017 |

I Do I use instrument error or arithmetic mean error? | Apr 6, 2017 |

**Physics Forums - The Fusion of Science and Community**