Explicit well-ordering of $\mathbb Q$
51324
List of explicit enumerations of rational numbers
134840
Generators and relations for $\text{PSL}(2, \mathbb{F}_q)$
118560
Ordered N-Tuples as Cartesian Products of Indexed Families
100061
The Maximum possible order for an element $S_n$
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
54585
Order of some quotient ring of Gaussian integers
42314
Without appealing to choice, can we prove that if $X$ is well-orderable, then so too is $2^X$?
145752
Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$
38242
Explicit bijection between the successor of $\alpha$ and $\alpha$ (infinite ordinal).
76521
Every partial order can be extended to a linear ordering
96025
Showing there is only one isomorphism between well ordered sets using transfinite induction
84789
Order of products of elements in a finite Abelian group
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
15387
Order of $GL(n, \mathbb Z_p)$
8434
Order of $\mathbb{Z}[i]/(1+i)$
145039
Algebraic independence over $\overline{\mathbb Q}$ and over $\mathbb Q$
36325
Embedding ordinals in $\mathbb{Q}$