In the mathematical field of set theory, ordinal arithmetic describes the three usual operations on ordinal numbers: addition, multiplication, and exponentiation...
36 KB (4,965 words) - 08:18, 29 March 2025
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite...
47 KB (6,689 words) - 14:57, 5 July 2025
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...
2 KB (288 words) - 19:08, 18 July 2023
Epsilon number (category Ordinal numbers)
numbers were introduced by Georg Cantor in the context of ordinal arithmetic; they are the ordinal numbers ε that satisfy the equation ε = ω ε , {\displaystyle...
14 KB (2,110 words) - 02:20, 7 April 2025
the focus on countable ordinals, ordinal arithmetic is used throughout, except where otherwise noted. The ordinals described here are not as large as...
40 KB (5,519 words) - 23:29, 19 June 2025
Cardinal number (redirect from Cardinal arithmetic)
a finite set is the common ordinal number of all possible well-orderings of that set, and cardinal and ordinal arithmetic (addition, multiplication, power...
26 KB (3,834 words) - 18:49, 17 June 2025
interpret a sufficient portion of arithmetic to make statements about ordinal notations. The proof-theoretic ordinal of such a theory T {\displaystyle...
52 KB (4,962 words) - 00:50, 20 June 2025
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...
8 KB (1,082 words) - 19:22, 5 February 2025
elementary function arithmetic (EFA), also called elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the usual elementary...
7 KB (875 words) - 20:48, 17 February 2025
therefore, once again, not qualifying as an ordinal notation. Large countable ordinals Ordinal arithmetic Ordinal analysis Rathjen, Michael (1 August 2023)...
16 KB (1,889 words) - 18:27, 20 November 2024
Natural number (redirect from Zermelo ordinals)
properties of ordinal numbers: each natural number has a successor and every non-zero natural number has a unique predecessor. Peano arithmetic is equiconsistent...
53 KB (5,887 words) - 07:23, 24 June 2025
the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ωω, where ω is the smallest transfinite ordinal. PRA is sometimes called...
10 KB (1,378 words) - 23:13, 6 July 2025
counterexamples in topology. Epsilon numbers (mathematics) Large countable ordinal Ordinal arithmetic "Set Theory > Basic Set Theory (Stanford Encyclopedia of Philosophy)"...
4 KB (566 words) - 16:59, 3 June 2025
Reverse mathematics (redirect from Arithmetical comprehension)
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...
38 KB (4,782 words) - 10:20, 2 June 2025
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...
85 KB (10,164 words) - 19:54, 20 June 2025
called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor...
15 KB (1,993 words) - 15:35, 7 February 2025
Transfinite induction (category Ordinal numbers)
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...
8 KB (1,142 words) - 11:05, 24 October 2024
Proof theory (section Ordinal analysis)
well-founded ordinals. Ordinal analysis was originated by Gentzen, who proved the consistency of Peano Arithmetic using transfinite induction up to ordinal ε0....
20 KB (2,669 words) - 19:20, 5 July 2025
arithmetic: addition, subtraction, multiplication, division and inequality. This allows an axiomatic construction of numbers and ordinal arithmetic,...
8 KB (987 words) - 03:11, 16 June 2025
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...
92 KB (12,173 words) - 02:29, 24 June 2025
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...
21 KB (2,818 words) - 04:27, 23 June 2025
Surreal number (section Arithmetic)
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...
84 KB (11,658 words) - 08:57, 6 July 2025
Guttman scale (section Ordinal variables)
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...
13 KB (1,649 words) - 21:02, 16 May 2025
Level of measurement (redirect from Ordinal measurement)
best-known classification with four levels, or scales, of measurement: nominal, ordinal, interval, and ratio. This framework of distinguishing levels of measurement...
38 KB (4,653 words) - 15:11, 22 June 2025
Arithmetic is an elementary branch of mathematics that deals with numerical operations like addition, subtraction, multiplication, and division. In a wider...
165 KB (16,396 words) - 04:14, 2 June 2025
Transfinite number (redirect from Transfinite ordinal)
\omega ^{\omega }} are larger still. Arithmetic expressions containing ω {\displaystyle \omega } specify an ordinal number, and can be thought of as the...
10 KB (1,232 words) - 08:58, 23 October 2024
Well-order (category Ordinal numbers)
generalization Ordinal number Well-founded set Well partial order Prewellordering Directed set Manolios P, Vroon D. Algorithms for Ordinal Arithmetic. International...
12 KB (1,902 words) - 19:06, 15 May 2025
Constructive set theory (section Ordinal analysis)
definition of the ordinals, and even a Δ 0 {\displaystyle \Delta _{0}} -formulation. Set induction in turn enables ordinal arithmetic in this sense. It...
213 KB (35,229 words) - 13:58, 4 July 2025
In mathematics, the fundamental theorem of arithmetic, also called the unique factorization theorem and prime factorization theorem, states that every...
23 KB (3,274 words) - 10:44, 5 June 2025
a theory of transfinite numbers, called cardinals and ordinals, which extended the arithmetic of the natural numbers. His notation for the cardinal numbers...
54 KB (6,586 words) - 11:37, 29 June 2025