◀ ▲ ▶Branches / Set-theory / Theorem: Trichotomy of Ordinals

Theorem: Trichotomy of Ordinals

For any two ordinals \(\alpha\) and \(\beta\) exactly one of the following cases holds:

$\alpha\in\beta$ or $\alpha=\beta$ or $\beta\in\alpha.$

Table of Contents

Proofs: 1

Mentioned in:

Lemmas: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
2. Hoffmann, D.: "Forcing, Eine Einführung in die Mathematik der Unabhängigkeitsbeweise", Hoffmann, D., 2018