algebraordinaalsed
Algebraordinaalsed, or algebraic ordinals, refer to a specific subset of ordinal numbers that can be expressed as finite sums of powers of the first infinite ordinal, ω. In set theory and ordinal arithmetic, ordinals are used to describe the order type of well-ordered sets. While all ordinals can be constructed recursively, algebraic ordinals are distinguished by their ability to be represented using a limited set of operations involving ω.
An algebraic ordinal is typically defined as any ordinal that can be written in the form of
The study of algebraic ordinals is relevant in various areas of mathematics, including recursion theory, computability,
Algebraic ordinals are also significant in the theory of admissible ordinals, where they help define the smallest