Higher Classes of Ordinals induced by <1
Abstract
In this article we want to see that it is possible to iterate and generalize the notions presented in "Carlson's <1-relation on the class of epsilon numbers" such that we can obtain the higher or thinner classes of ordinals induced by the <1-relation as solutions of conditions. Indeed, these results are so general that in a future article we will be able to characterize the ordinal |Pi11 - CA0 | as the smallest ordinal of the thinnest class induced by <1.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.