7 apr 2022
19 mrt 2022
13 mrt 2021
12 mrt 2021
24 mei 2020
8 mei 2019
25 okt 2018
4 aug 2018
eerst wat aanpassingen
−280
→Limietordinaal
+58
geen bewerkingssamenvatting
+163
→Verdere bespreking: dubbele weg
−168
→Operaties op ordinalen
−25
geen bewerkingssamenvatting
+185
→Operaties op ordinalen
+9
→Verdere bespreking: dubbele weg
−268
→Operaties op ordinalen
+164
lange verhandeling in de lead verplaatst
+5
verduidelijkt, dubbele weg
−143
→Operaties op ordinalen
→Operaties op ordinalen
+18
→Operaties op ordinalen
+287
→Limietordinaal
+184
→Limietordinaal
+32
3 aug 2018
→Limietordinaal
+276
→Limietordinaal
+192
→Limietordinaal
+17
→Limietordinaal
−136
→Limietordinaal
+267
→Limietordinaal
+160
→Formele definitie
+4
31 jul 2018
geen bewerkingssamenvatting
+313
→Limietordinaal
−9
→Limietordinalen
k−1
geen bewerkingssamenvatting
−38
→Formele definitie
+22