Can ordinal numbers be generalized to arbitrary classes?

72 Views Asked by At

The following is an obvious potential, albeit incomplete, method of generalization. One class paired with an ordering $s$ would be of the same order type as another $t$ iff there exists an order-preserving bijection (with bijections generalized to arbitrary classes) between $s$ and $t$. Similarly, $s \leq t$ iff there exists an order-preserving injective function (with injective functions generalized to arbitrary classes) from $s$ to $t$.

Are ordinal numbers even able to be generalized to all classes? Can bijections and injective functions be generalized to arbitrary classes? Am I making some other mistake or have some fundamental misunderstanding?

1

There are 1 best solutions below

0
On BEST ANSWER

Sure!

First of all, note that this is easy in case we work in a class theory like NBG, where we can directly talk about things. In ZFC it's a little messier$^*$, but we can still talk about specifics.

I don't think there's a lot known about class-length well-orderings, but let me point you towards a few MO questions you might find interesting:


$^*$Actually, the "right" theory should probably be something like ZFC+V=L that can prove that there is a well-ordering of the universe - otherwise, for instance, I don't see how to prove that any two class-length well-orderings are comparable.