Tag Info

axioms Questions

Dmytro Taranovsky

7,5351 gold badge22 silver badges45 bronze badges

212	22	Joel David Hamkins 236k44 gold badges777 silver badges1.4k bronze badges
122	14	Andreas Blass 73.1k8 gold badges191 silver badges290 bronze badges
120	3	Henry Towsner 7,14527 silver badges35 bronze badges
70	2	Peter LeFanu Lumsdaine 21.3k2 gold badges75 silver badges128 bronze badges
54	3	Andrej Bauer 48.8k11 gold badges131 silver badges239 bronze badges
44	3	Timothy Chow 82.6k26 gold badges363 silver badges587 bronze badges
43	8	Noah Schweber 21.1k10 gold badges110 silver badges331 bronze badges
41	2	Andrés E. Caicedo 32.5k5 gold badges133 silver badges240 bronze badges
37	4	Mike Shulman 66.7k7 gold badges162 silver badges368 bronze badges
37	1	Richard Dore 5,2756 gold badges36 silver badges43 bronze badges
37	3	François G. Dorais 44.4k6 gold badges150 silver badges233 bronze badges
32	3	Stefan Geschke 16.2k2 gold badges54 silver badges82 bronze badges
30	5	Asaf Karagila♦ 39.7k8 gold badges134 silver badges282 bronze badges
29	1	Harry Altman 2,5851 gold badge33 silver badges44 bronze badges
28	1	Theo Johnson-Freyd 54.6k10 gold badges142 silver badges335 bronze badges
26	1	Pedro Lauridsen Ribeiro 7,8171 gold badge35 silver badges67 bronze badges
24	1	Richard Borcherds 20.7k9 gold badges97 silver badges113 bronze badges
24	1	Kenny Easwaran 1,4751 gold badge11 silver badges14 bronze badges
24	2	Elliot Glazer 4,3162 gold badges24 silver badges40 bronze badges
23	1	Buzz 1,4222 gold badges11 silver badges23 bronze badges

user76284

2,20315 silver badges24 bronze badges

60	1	Wojowu 28.2k3 gold badges103 silver badges185 bronze badges
56	9	user76284 2,20315 silver badges24 bronze badges
55	1	Jxt921 1,1151 gold badge12 silver badges20 bronze badges
54	35	Zuhair Al-Johar 11.3k1 gold badge13 silver badges47 bronze badges
51	1	Conifold 1,73111 silver badges19 bronze badges
40	2	Mikhail Katz 16.6k2 gold badges54 silver badges127 bronze badges
36	1	Andrew Critch 11.2k1 gold badge50 silver badges72 bronze badges
35	1	Dustin G. Mixon 7,6332 gold badges31 silver badges56 bronze badges
32	6	Alec Rhea 10.1k3 gold badges30 silver badges88 bronze badges
28	1	DoubleJay 2,3834 gold badges34 silver badges45 bronze badges
28	1	exfret 5094 silver badges13 bronze badges
26	3	James Propp 19.7k5 gold badges55 silver badges136 bronze badges
23	1	Mike Battaglia 4,89719 silver badges43 bronze badges
22	1	Victor Makarov 8977 silver badges18 bronze badges
22	2	Vladimir Reshetnikov 6,8192 gold badges53 silver badges87 bronze badges
20	1	Chris Heunen 3,9372 gold badges30 silver badges41 bronze badges
18	1	AgCl 2,7453 gold badges26 silver badges28 bronze badges
18	2	Todd Eisworth 7,1251 gold badge23 silver badges47 bronze badges
16	3	Taras Banakh 41.8k3 gold badges74 silver badges183 bronze badges
16	3	Christopher King 6,3531 gold badge32 silver badges60 bronze badges