2
votes
1answer
164 views

Can we embed the ordinal and cardinal number systems into larger, more convenient systems of arithmetic?

We can embed $\mathbb{N}$ in a larger number system, such as $\mathbb{Z}$, $\mathbb{Q}$ or $\mathbb{R}$, for convenience. Now since $\mathbb{N}$ is extended by $\mathrm{Ord}$ and $\mathrm{Card}$, the ...
4
votes
2answers
173 views

Which algebraic structure captures the ordinal arithmetic?

Consider the set class $\mathrm{Ord}$ of all (finite and infinite) ordinal numbers, equipped with ordinal arithmetic operations: addition, multiplication, and exponentiation. It is closed under these ...
5
votes
2answers
259 views

Constructing the reals from fractions of ordinals

We can construct the positive rationals from ratios of positive integers (and thus from pairs of finite ordinals). Can we analogously construct the reals from pairs of countable ordinals?