3
$\begingroup$

As stated in the title, which axiom in ZF shows that a class of all countable (or any cardinal number) ordinals is a set?

Not sure which axiom, that's all.

  • 0
    [Related](http://math.stackexchange.com/questions/276385/two-questions-regarding-ordinal-numbers/).2013-01-26

4 Answers 4

7

Each countable (= countably infinite) ordinal can be realized as a well-ordering of $\omega$ in at least one (actually uncountably many, but that is irrelevant) way, so the set of countable ordinals can be made by applying Replacement to $\mathcal P(\omega\times\omega)$ and a formula that produces the order type of its input if the input is a well-ordering and $\omega$ otherwise.

  • 0
    A _well-ordering_ of $\omega$ is a special case of a _ordering_ of $\omega$, which is a special case of a binary _relation_ in $\omega$, which is a set of ordered pairs, which is an element of $\mathcal P(\omega\times\omega)$. Each well-ordering gives rise to a corresponding induction principle which you can use to construct the ordinal number for each of its initial segments one by one, and eventually the ordinal number corresponding to the entire well-ordering.2012-09-18
2

Every countable ordinal can be order embedded in $\mathbb{R}$. So the set of all countable ordinals can be identified with a subset of $2^{\mathbb{R}\times\mathbb{R}}$. So you can construct it from $2^{\mathbb{R}\times\mathbb{R}}$ using comprehension and replacement.

  • 0
    Of course the approach of Henning makes much more sense.2012-09-17
2

As Asaf pointed out in the comments, the "which axiom" part of the question does not have any obvious formal meaning, but I think it does have some kind of meaning so I will try to answer it. I think it makes sense to attribute the theorem "the class of countable ordinals is a set" primarily to the axioms of power set and replacement even though some other axioms are necessarily involved in the proof. This is because to me the most natural models of fragments of ZFC where the theorem does not hold are $V_{\omega+\omega}$ (sets of rank $<\omega+\omega$) and $H(\omega_1)$ (hereditarily countable sets) and these models satisfy all of the ZFC axioms except for the replacement axiom and the power set axiom respectively.

1

A combination of them, actually. The proof I've seen requires power set and replacement, and I think union or pairing, too, but I can't recall off the top of my head. I can post an outline of that proof, if you like.