13
$\begingroup$

The class of all ordinal numbers $\mathbf{Ord}$, aside being a proper class, can be thought of an ordinal number (of course it contains all ordinal numbers that are sets, not itself). Then one could consider $\mathbf{Ord}+1$, $\mathbf{Ord}+\mathbf{Ord}$, $\mathbf{Ord} \cdot \mathbf{Ord}$ and so on. Does this extension of ordinals make sense/is interesting? Maybe it was described by someone? Could it go deeper - to create a "superclass" of all ordinals that are classes?

$\endgroup$
3
  • 3
    $\begingroup$ What would Ord+1 be? It cannot contain Ord, since Ord is not a set. $\endgroup$
    – Carsten S
    Dec 15, 2009 at 11:56
  • 1
    $\begingroup$ Good point. Possible workaround: add some special element x to the class Ord and define the order in obvious way. This will be a well-order, but not an ordinal number. $\endgroup$
    – sdcvvc
    Dec 15, 2009 at 13:07
  • 2
    $\begingroup$ Join the MLM? jstor.org/stable/3622062 $\endgroup$ Dec 15, 2009 at 14:16

2 Answers 2

20
$\begingroup$

Yes. This is both studied by set theorists and interesting. I personally find some of the related questions below extremely interesting, connected with some very deep questions about the nature of mathematical existence.

While the term "ordinal" is usually used only to refer to objects that are sets, one can nevertheless consider class relations that are well-ordered. For example, it is easy to define a relation on $\mathrm{ORD}$ that has order type $\mathrm{ORD}+1$; one can make order type $\mathrm{ORD}+\mathrm{ORD}$ by defining a relation that puts all even ordinals before all odd ordinals, and so on. One can get on a long way with this method, past $\mathrm{ORD}^{\mathrm{ORD}}$, $\mathrm{ORD}^{\mathrm{ORD}^{\mathrm{ORD}}}$, and so on, simply by defining more complicated well-ordered relations on $\mathrm{ORD}$. The flavor here is something like the manner that one considers computable well-ordered relations on the natural numbers, and defines the class of computable ordinals. The analogy is indeed very strong, for the supremum of the computable ordinals is known as $\omega_1^{CK}$, pronounced "omega 1 Church Kleene", and this is precisely the smallest admissible ordinal, which means that the corresponding level of the constructible universe satisfies the Kripke-Platek axioms of set theory, a weak fragment of ZFC.

Similarly, for the situation with the definable class well-ordered relations on $\mathrm{ORD}$, if one looks at the corresponding (constructible) universe of sets that arises from these super-ordinals, it also can be admissible. Another way to describe the situation is that models of ZFC can extend to models of KP, by adding precisely the sets on top coded by a class well-founded relation on $\mathrm{ORD}$.

The question looming in the background here, is the extent to which every model of set theory is an initial segment of a much taller model of set theory. Can we extend every model of ZFC to an initial segment of a taller model of ZFC? Of ZFC-? Of KP?

Part of the answer is that every model of Kelly-Morse set theory arises similar to this way. Namely, every model of KM is the $V_\kappa$ of a model of ZFC- in which $\kappa$ is an inaccessible cardinal. Indeed, the theory KM is mutually interpretable with the theory ZFC- + "there is a largest cardinal, which is inaccessible."

To have a model of KM is simply to have a model of ZFC that is the $V_\kappa$ for some inaccessible cardinal $\kappa$ in a model of ZFC- in which $\kappa$ is the largest cardinal.

Another part of the answer is that every countable computably-saturated model of ZFC is precisely the $V_\alpha$ of another model of ZFC, to which it is externally isomorphic. In particular, every such model of ZFC is (externally) isomorphic to a rank initial segment of itself.

Another part of the answer is that every model of ZFC elementarily embeds into another model, which is the $V_\alpha$ of a much taller model. This can be proved by an easy compactness argument. Given any model $M$ of ZFC, write down the theory consisting of ZFC+the elementary diagram of $M$, relativized to $V_\delta$, in the language with an additional constant $\delta$. This theory is finitely realized by $M$ itself, on account of the Reflection Theorem, and so it has a model $N$. The original model $M$ embeds into $V_\delta^N$ because of the elementary diagram, so $N$ is as desired.

Finally, note that if $M$ has the property that it is point-wise definable (every object is definable in $M$ without parameters), and there are definitely such models of ZFC if there are any at all, then $M$ cannot be the $V_\alpha$ of any model $N$ of ZFC, since $N$ would recognize that $M$ is pointwise definable, and thus $N$ would have only countably many reals, a contradiction.

Let me point out that Harry's observation (now apparently removed) about Grothendieck universes amounts to a special case of the question I pose, where one considers only transitive models of set theory, under the assumption that there is a proper class of inaccessible cardinals (which is equivalent to the Universe axiom). In this case, obviously every transitive model of set theory extends to one of the $V_\kappa$, for $\kappa$ inaccessible above, and this is essentially what he observed. But actually, one doesn't need this strength to make the conclusion, since the large cardinal consistency strength of the assertion that every transitive set is an element of a larger transitive model of set theory is strictly weaker than even one inaccessible cardinal, let alone a proper class of them.

$\endgroup$
6
  • $\begingroup$ Where is a good place to learn about such things? $\endgroup$ Dec 15, 2009 at 18:20
  • $\begingroup$ For general background, there are the set theory texts I mentioned in mathoverflow.net/questions/6423/…. But I don't think you'll find the exact idea I am mentioning here in those texts, and I'm not sure where you can find it. Sy Friedman has made some observations along these lines. I am currently writing a paper making use of the computably saturated observation. $\endgroup$ Dec 15, 2009 at 18:27
  • $\begingroup$ Yeah, I've read some basic set theory texts, but there seem to be a lot of things like this which are really of interest to people trying to understand the set-class boundary, and which set-theorists seem to take for granted, but I haven't seen actually explained. Your comment about KM I found especially interesting and I would like to see written out. $\endgroup$ Dec 15, 2009 at 21:32
  • 1
    $\begingroup$ Upon reflection, I had to back off my KM claim somewhat, since the argument I had in mind uses some additional assumptions. I've been thinking of writing a short paper on this topic, the extent to which models of set theory have end-extensions, since there are some interesting things happening with it. $\endgroup$ Dec 16, 2009 at 14:28
  • $\begingroup$ Why is it interesting? I know I'm out of my depth here — ordinary mathematics is already too hard for me, let alone advanced set theory, so I'm probably babbling nonsense — but it seems to me that by talking about "ordinals beyond ORD" you are in effect admitting that your set-theoretic world is just a toy model, that your so-called "class of all ordinals" is merely an initial segment of the whole thing. $\endgroup$
    – bof
    Jul 30, 2023 at 23:36
6
$\begingroup$

According to Kanamori, Reinhardt worked on extending the ordinals beyond the height of the universe. Kanamori talks about this in The Higher Infinite, page 313, where he cites the following reference from his bibliography.

Reinhardt, William N. Remarks on reflection principles, large cardinals, and elementary embeddings, pages 189-205

Jech, Thomas J. (ed.), Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics vol. 13, part 2. Providence, American Mathematical Society 1974.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.