2 mar 2023
18 sty 2023
23 cze 2022
18 mar 2022
16 mar 2022
18 lut 2022
16 maj 2020
25 gru 2019
→Konstrukcja liczb nadrzeczywistych
+1
→Konstrukcja liczb nadrzeczywistych
−312
→Aksjomatyka liczb nadrzeczywistych: porządek liniowy drobne redakcyjne
→Konstrukcja liczb nadrzeczywistych: poprawa indukcyjnej definicji porządku, drobne merytoryczne
+373
→Konstrukcja liczb nadrzeczywistych
+14
→Konstrukcja liczb nadrzeczywistych
+2
→Konstrukcja liczb nadrzeczywistych: poprzedni opis był błędny, w szczególności zadany porządek był, zamiast liniowego, tylko częściowy
−40
20 lut 2019
18 sty 2018
14 lut 2017
27 cze 2016
9 lut 2014
2 wrz 2013
14 mar 2013
13 lut 2013
18 paź 2012
13 cze 2011
25 maj 2011
24 kwi 2010
29 mar 2010
11 lip 2009
16 cze 2009
→Aksjomatyka liczb nadrzeczywistych: odstępy
m+10
→Konstrukcja liczb nadrzeczywistych: forall
m→Aksjomatyka liczb nadrzeczywistych: forall
m−8
12 kwi 2009
21 maj 2008
13 kwi 2008
11 kwi 2008
Liczby nadrzeczywiste można też utożsamiać z rzędem wzrostu funkcji:
m+307
trochę rozbudowany względem sekcji
+6636