In the mathematical field of set theory, ordinal arithmetic describes the three usual operations on ordinal numbers: addition, multiplication, and exponentiation...

In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite...

an ordinal number α is the smallest ordinal number greater than α. An ordinal number that is a successor is called a successor ordinal. The ordinals 1...

numbers were introduced by Georg Cantor in the context of ordinal arithmetic; they are the ordinal numbers ε that satisfy the equation ε = ω ε , {\displaystyle...

a finite set is the common ordinal number of all possible well-orderings of that set, and cardinal and ordinal arithmetic (addition, multiplication, power...

the focus on countable ordinals, ordinal arithmetic is used throughout, except where otherwise noted. The ordinals described here are not as large as...

interpret a sufficient portion of arithmetic to make statements about ordinal notations. The proof-theoretic ordinal of such a theory T {\displaystyle...

limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less...

properties of ordinal numbers: each natural number has a successor and every non-zero natural number has a unique predecessor. Peano arithmetic is equiconsistent...

elementary function arithmetic (EFA), also called elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the usual elementary...

the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ωω, where ω is the smallest transfinite ordinal. PRA is sometimes called...

counterexamples in topology. Epsilon numbers (mathematics) Large countable ordinal Ordinal arithmetic "Set Theory > Basic Set Theory (Stanford Encyclopedia of Philosophy)"...

therefore, once again, not qualifying as an ordinal notation. Large countable ordinals Ordinal arithmetic Ordinal analysis Rathjen, Michael (1 August 2023)...

Transfinite number Well-founded induction Zorn's lemma J. Schlöder, Ordinal Arithmetic. Accessed 2022-03-24. It is not necessary here to assume separately...

of an infinity of infinities. He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact...

finite ordinals). An ω-model is a model for a fragment of second-order arithmetic whose first-order part is the standard model of Peano arithmetic, but...

called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor...

well-founded ordinals. Ordinal analysis was originated by Gentzen, who proved the consistency of Peano Arithmetic using transfinite induction up to ordinal ε0....

arithmetic: addition, subtraction, multiplication, division and inequality. This allows an axiomatic construction of numbers and ordinal arithmetic,...

Gentzen proved the consistency of Peano arithmetic in a different system that includes an axiom asserting that the ordinal called ε0 is wellfounded; see Gentzen's...

smallest ordinal number greater than the ranks of all members of the set. In particular, the rank of the empty set is zero, and every ordinal has a rank...

Arithmetic is an elementary branch of mathematics that deals with numerical operations like addition, subtraction, multiplication, and division. In a wider...

best-known classification with four levels, or scales, of measurement: nominal, ordinal, interval, and ratio. This framework of distinguishing levels of measurement...

generalization Ordinal number Well-founded set Well partial order Prewellordering Directed set Manolios P, Vroon D. Algorithms for Ordinal Arithmetic. International...

of the surreals. The surreals also contain all transfinite ordinal numbers; the arithmetic on them is given by the natural operations. It has also been...

\omega ^{\omega }} are larger still. Arithmetic expressions containing ω {\displaystyle \omega } specify an ordinal number, and can be thought of as the...

the Guttman scale shown below in Table 2: Table 2. Data of the four ordinal arithmetic skill variables are hypothesized to form a Guttman scale The set profiles...

1-CA0. Ordinal analysis confirms the strength of Kruskal's theorem, with the proof-theoretic ordinal of the theorem equaling the small Veblen ordinal (sometimes...

definition of the ordinals, and even a Δ 0 {\displaystyle \Delta _{0}} -formulation. Set induction in turn enables ordinal arithmetic in this sense. It...

In mathematics, the fundamental theorem of arithmetic, also called the unique factorization theorem and prime factorization theorem, states that every...