User contributions for 82.25.27.218

3 April 2024

• 17:4917:49, 3 April 2024 diff hist +9,464 N Modal companion No edit summary current

2 April 2024

• 16:0016:00, 2 April 2024 diff hist +14,674 N Hyperarithmetical theory No edit summary current
• 15:5915:59, 2 April 2024 diff hist +7,098 N Pointclass No edit summary current

1 April 2024

• 17:0517:05, 1 April 2024 diff hist +7,102 N Course-of-values recursion →References current

4 January 2024

• 19:5719:57, 4 January 2024 diff hist +9,379 N Higher-order abstract syntax No edit summary current

28 December 2023

• 12:5512:55, 28 December 2023 diff hist +1,308 N Binary game No edit summary current

27 December 2023

• 18:1318:13, 27 December 2023 diff hist +2,278 N Uniform boundedness No edit summary current

26 December 2023

• 00:3500:35, 26 December 2023 diff hist +6,525 N Infinity-Borel set No edit summary current

25 December 2023

• 00:4800:48, 25 December 2023 diff hist +4,311 N Dense-in-itself No edit summary current

24 December 2023

• 22:5122:51, 24 December 2023 diff hist +5,410 N Scattered space No edit summary current
• 16:3716:37, 24 December 2023 diff hist +5,318 N Equiconsistency No edit summary current