User contributions for Binary198
Appearance
A user with 258 edits. Account created on 3 October 2019.
9 August 2023
- 15:3715:37, 9 August 2023 diff hist +130 Harvey Friedman Added a bit more information regarding his contributions to maths Tag: Visual edit
7 July 2023
- 01:4701:47, 7 July 2023 diff hist +535 Lithium (medication) Added "nutritional lithium" Tag: Visual edit
16 April 2023
- 16:2916:29, 16 April 2023 diff hist +62 Formaldehyde Formaldehyde is a carbohydrate with n = 1, m = 1 Tag: Visual edit
6 March 2023
- 17:0717:07, 6 March 2023 diff hist +6 m 12.7×108mm Added primer type Tag: Visual edit
4 March 2023
- 12:3212:32, 4 March 2023 diff hist −440 User:Binary198 No edit summary current Tag: Visual edit
2 March 2023
- 20:3920:39, 2 March 2023 diff hist 0 m NATO cartridge Fixed STANAG number Tag: Visual edit
8 May 2022
- 10:4610:46, 8 May 2022 diff hist +66 Template:Countable ordinals No edit summary
- 10:4510:45, 8 May 2022 diff hist −11 Theories of iterated inductive definitions No edit summary Tag: Visual edit
- 10:3910:39, 8 May 2022 diff hist +103 N Buchholz's ID hierarchy Binary198 moved page Buchholz's ID hierarchy to Theories of iterated inductive definitions current Tag: New redirect
- 10:3910:39, 8 May 2022 diff hist 0 m Theories of iterated inductive definitions Binary198 moved page Buchholz's ID hierarchy to Theories of iterated inductive definitions
23 April 2022
- 20:3920:39, 23 April 2022 diff hist +137 User talk:Binary198 →Your draft article, Draft:Explicit mathematics current
21 April 2022
- 17:1817:18, 21 April 2022 diff hist +866 Nonrecursive ordinal →The Church–Kleene ordinal and variants Tag: Visual edit
28 March 2022
- 20:4620:46, 28 March 2022 diff hist +6 Conservative extension No edit summary Tag: Visual edit
13 March 2022
- 13:1513:15, 13 March 2022 diff hist −249 Absolute infinite No edit summary Tags: Reverted Visual edit
- 12:0012:00, 13 March 2022 diff hist −131 Talk:Bar recursion No edit summary Tag: Manual revert
- 11:5811:58, 13 March 2022 diff hist +131 Talk:Bar recursion →Bar recursion Tag: Reverted
3 March 2022
- 17:3217:32, 3 March 2022 diff hist +149 User talk:Liz →Followup to Question 3
- 16:4516:45, 3 March 2022 diff hist +464 User talk:Liz →Followup to Question 3
- 16:2416:24, 3 March 2022 diff hist +192 User talk:Liz →Followup to Question 3
2 March 2022
- 20:1820:18, 2 March 2022 diff hist −1,133 Buchholz hydra No edit summary Tag: Visual edit
- 19:5419:54, 2 March 2022 diff hist +30 User talk:Liz →Followup to Question 3
- 19:4919:49, 2 March 2022 diff hist +479 User talk:Liz →Followup to Question 3
- 18:5618:56, 2 March 2022 diff hist +584 User talk:Liz →Followup to Question 3: new section
1 March 2022
- 16:1316:13, 1 March 2022 diff hist +270 User talk:C7XWiki →OCFs
28 February 2022
- 07:4607:46, 28 February 2022 diff hist −23 User talk:Liz →Question 3
27 February 2022
- 19:2619:26, 27 February 2022 diff hist +421 User talk:Liz →Question 3
25 February 2022
- 16:0316:03, 25 February 2022 diff hist +1 User talk:Liz →Question 3
- 16:0216:02, 25 February 2022 diff hist +418 User talk:Liz →Question 3
23 February 2022
- 18:4718:47, 23 February 2022 diff hist +780 User talk:Liz →Question: new section
21 February 2022
- 17:3017:30, 21 February 2022 diff hist +406 User talk:C7XWiki →OCFs: new section
16 February 2022
- 11:3911:39, 16 February 2022 diff hist +779 User talk:Materialscientist →Question: new section
15 February 2022
- 18:4818:48, 15 February 2022 diff hist +52 User talk:Binary198 →New analysis
- 18:4318:43, 15 February 2022 diff hist +373 User talk:Binary198 →New analysis
15 January 2022
- 14:4314:43, 15 January 2022 diff hist −542 Conway chained arrow notation No edit summary Tags: Reverted Visual edit
29 December 2021
- 11:1611:16, 29 December 2021 diff hist +23 Rayo's number No edit summary Tag: Visual edit
25 December 2021
- 18:1118:11, 25 December 2021 diff hist +231 Pi surprised that this formula hadn't been added yet. Sorry I couldn't find a source for it, it's gotta be out there somewhere. Tags: Reverted Visual edit
12 December 2021
- 18:5418:54, 12 December 2021 diff hist −42 Big O notation →Multiple variables Tags: Reverted Visual edit
- 09:0309:03, 12 December 2021 diff hist +11 Lambda calculus No edit summary Tag: Visual edit
21 November 2021
- 18:2918:29, 21 November 2021 diff hist 0 Takeuti–Feferman–Buchholz ordinal No edit summary Tag: Visual edit
- 18:2718:27, 21 November 2021 diff hist −1,814 Theories of iterated inductive definitions deleted a stupid section I have no clue why I wrote it in the first place Tag: Visual edit
26 October 2021
- 10:0910:09, 26 October 2021 diff hist +267 History of large numbers →Modern use of large finite numbers Tag: Visual edit
- 10:0710:07, 26 October 2021 diff hist +570 Additively indecomposable ordinal No edit summary Tag: Visual edit
- 10:0310:03, 26 October 2021 diff hist +215 Talk:Cantor normal form theorem →Thanks: new section
- 10:0110:01, 26 October 2021 diff hist +159 Talk:Indescribable cardinal →C7XWiki: new section Tag: Reverted
- 09:5909:59, 26 October 2021 diff hist −87 Talk:Nonrecursive ordinal →Semi-nonprojectible
- 09:5809:58, 26 October 2021 diff hist −177 Nonrecursive ordinal No edit summary Tag: Visual edit
- 09:5709:57, 26 October 2021 diff hist +114 Talk:Nonrecursive ordinal →Semi-nonprojectible
- 09:4909:49, 26 October 2021 diff hist +200 User talk:Binary198 →Large ordinal list
11 October 2021
- 15:3215:32, 11 October 2021 diff hist +4 Buchholz psi functions No edit summary Tag: Visual edit
- 15:2915:29, 11 October 2021 diff hist +153 Rathjen's psi function No edit summary Tag: Visual edit