Tag Info

ordinal-analysis Questions

143	11	Henry Towsner 7,07526 silver badges34 bronze badges
45	3	Joel David Hamkins 218k40 gold badges707 silver badges1252 bronze badges
42	5	Emil Jeřábek 42.9k4 gold badges132 silver badges198 bronze badges
38	4	Noah Schweber 18.9k8 gold badges98 silver badges297 bronze badges
26	1	Andreas Blass 71.4k8 gold badges184 silver badges281 bronze badges
23	2	Andrés E. Caicedo 32.1k5 gold badges128 silver badges228 bronze badges
20	4	Fedor Pakhomov 5,3911 gold badge18 silver badges26 bronze badges
20	3	Ulrik Buchholtz 1,3529 silver badges11 bronze badges
14	1	David E Speyer 149k14 gold badges397 silver badges725 bronze badges
14	1	user57888 1,2191 gold badge11 silver badges13 bronze badges
9	1	Ali Enayat 16.3k2 gold badges60 silver badges97 bronze badges
8	2	Dmytro Taranovsky 5,8471 gold badge18 silver badges38 bronze badges
8	1	none 811 bronze badge
8	3	C7X 8511 gold badge3 silver badges21 bronze badges
7	1	Peter LeFanu Lumsdaine 18.7k1 gold badge67 silver badges116 bronze badges
4	1	Victor 2,05615 silver badges23 bronze badges
4	1	Nik Weaver 41.3k3 gold badges107 silver badges206 bronze badges
4	1	Gro-Tsen 28.2k4 gold badges76 silver badges312 bronze badges
4	1	Alec Rhea 8,8783 gold badges27 silver badges79 bronze badges
2	1	Panu Raatikainen 592 bronze badges

86	3	Scott Aaronson 9,6435 gold badges60 silver badges70 bronze badges
45	2	Eliezer Yudkowsky 5634 silver badges10 bronze badges
33	3	Wojowu 26.3k2 gold badges95 silver badges171 bronze badges
30	5	Dmytro Taranovsky 5,8471 gold badge18 silver badges38 bronze badges
21	5	Keshav Srinivasan 4,4892 gold badges24 silver badges48 bronze badges
17	2	David Roberts♦ 33.1k10 gold badges113 silver badges315 bronze badges
16	1	Noah Schweber 18.9k8 gold badges98 silver badges297 bronze badges
16	1	SNd 1611 silver badge4 bronze badges
13	1	John Gowers 8874 silver badges18 bronze badges
13	1	James Hanson 10.1k3 gold badges25 silver badges57 bronze badges
12	1	Benya 1415 bronze badges
12	3	C7X 8511 gold badge3 silver badges21 bronze badges
10	1	Harry Altman 2,4951 gold badge31 silver badges44 bronze badges
10	1	user3730940 1296 bronze badges
10	1	Erfan Khaniki 1,6991 gold badge10 silver badges17 bronze badges
9	1	Gro-Tsen 28.2k4 gold badges76 silver badges312 bronze badges
9	1	Primitive Recursive Fab 933 bronze badges
8	1	Łukasz Lew 2251 silver badge8 bronze badges
8	1	Russell O'Connor 1,3991 gold badge12 silver badges14 bronze badges
8	1	Gabriel Nivasch 1,0146 silver badges14 bronze badges