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) - 13:41, 19 September 2024
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite...
48 KB (6,719 words) - 01:48, 8 September 2024
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,516 words) - 05:55, 17 September 2024
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,096 words) - 07:18, 16 July 2024
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
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,808 words) - 01:08, 27 April 2024
interpret a sufficient portion of arithmetic to make statements about ordinal notations. The proof-theoretic ordinal of such a theory T {\displaystyle...
50 KB (4,805 words) - 04:04, 17 September 2024
counterexamples in topology. Epsilon numbers (mathematics) Large countable ordinal Ordinal arithmetic "Set Theory > Basic Set Theory (Stanford Encyclopedia of Philosophy)"...
4 KB (566 words) - 20:31, 11 March 2024
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,083 words) - 20:34, 11 March 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,856 words) - 17:52, 25 September 2024