Countable ordinals property
2396
Order-preserving injections of ordinals into $[0,1]$
127100
Countable or uncountable set 8 signs
40937
Is the set of partial order relations over $ \mathbb{N}$ countable?
63115
If $\alpha$ is an indecomposable ordinal, why $\Gamma(\alpha\times{\alpha})=\alpha$?
153652
Countable ordinals are embeddable in the rationals $\Bbb Q$ -- proofs and their use of AC
9021
An infinite subset of a countable set is countable
128254
Ordinals in words javascript
130546
Countable Sequence of Events
60678
Does 'A countable infinite Cartesian product of countable sets is not necessarily countable' violate induction principle?
98102
Is there an easy way to create ordinals in C#?
103769
The Cartesian product of a finite number of countable sets is countable
97697
Countable union of sets of cardinality $c$ has cardinality $c$
102793
Convert from enum ordinal to enum type
99633
Let $α$ be an ordinal and $A$ be a set of ordinals. Then $\sup\limits_{β∈A} (α+β) = α+\sup\limits_{β∈A}(β)$
154474
Image of countable and uncountable sets
130981
Co-countable measure on uncountable set
19777
Defining "Countably Infinite"