Franklin's Notes


Order type of the irrationals

The order type of the irrational numbers $(\mathbb R\backslash \mathbb Q,\leq)$ is denoted $\theta$. We have the following algebraic identities:

set-theory

order-theory

back to home page