Check Proof of total orders are maximal orders
91557
Show that total orders are maximal orders
70196
Is there any well-ordered uncountable set of real numbers under the original ordering?
116251
Number of distinct total orders on a set
127233
Cardinality of order types in $\mathbb{N}$
120911
Clarification on proof: Order of left cosets equal
114550
Well-ordering theorem and second-order logic
79055
Orders of a symmetric group
82169
Why does a partially ordered set need to be reflexive?
121423
Prove that every element of a finite group has an order
13807
Is there a way to prove that the order of an element in a Group divides the order of the Group, WITHOUT USING LAGRANGE'S
29325
Maximum Proof (Average?)
21568
Maximal order of an element in a symmetric group
34973
Is it true that the order of $ab$ is always equal to the order of $ba$?
39969
Algorithms for computing multiplicative order modulo $n$
3217
Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers
89127
How do I prove if a set of operations is complete?
33300
Showing order of $Z (G) =1$ or $pq$