Does every countable subset of the set of all countable limit ordinals have the least upper bound in it?

210 Views Asked by At

I'm sorry if the question is that kind of trivial, I just feel uncertain about these ordinals all the time. Is the answer to the following question "yes":

Denote by A the set of all countable limit ordinals. Does every countable subset of A have the least uper bound in A?

1

There are 1 best solutions below

2
On BEST ANSWER

Assuming the axiom of choice, the countable union of countable sets is countable. Therefore the countable limit of countable ordinals is also countable. And trivially, the limit of limit ordinals is a limit ordinal.

So the answer is yes. The set of countable limit ordinals is closed under countable sequences.

However if we don't assume the axiom of choice, then it is consistent that $\omega_1$ is the countable limit of countable ordinals, in which case the answer would be negative.