User contributions for 2A01:CB08:B0E:7700:329C:23FF:FEA2:DF4F

31 July 2020

• 23:0723:07, 31 July 2020 diff hist 0 Feferman–Schütte ordinal No edit summary

15 July 2020

• 15:4915:49, 15 July 2020 diff hist −1 Barrel (unit) →Definitions and units
• 15:4815:48, 15 July 2020 diff hist +39 Barrel (unit) No edit summary

9 July 2020

• 14:0414:04, 9 July 2020 diff hist −24 Intergovernmental Panel on Climate Change →External links

8 June 2020

• 10:3310:33, 8 June 2020 diff hist +21 Reverse mathematics →Additional systems
• 10:3310:33, 8 June 2020 diff hist +21 Reverse mathematics →Arithmetical transfinite recursion ATR0
• 10:3110:31, 8 June 2020 diff hist +21 Reverse mathematics →The big five subsystems of second-order arithmetic
• 10:3010:30, 8 June 2020 diff hist +21 Reverse mathematics →The big five subsystems of second-order arithmetic
• 10:2810:28, 8 June 2020 diff hist +23 Grzegorczyk hierarchy →See also
• 10:2810:28, 8 June 2020 diff hist +23 Reverse mathematics →See also
• 10:2710:27, 8 June 2020 diff hist +22 Elementary function arithmetic →See also

7 March 2020

• 17:1717:17, 7 March 2020 diff hist +30 King of Saudi Arabia →List of Kings of Saudi Arabia (1932–present){{anchor|Kings of Saudi Arabia .281932.E2.80.93present.29}}