Tag Info

axioms Questions

249	25	Joel David Hamkins 249k53 gold badges824 silver badges1.5k bronze badges
127	14	Andreas Blass 75.6k8 gold badges202 silver badges300 bronze badges
120	3	Henry Towsner 7,27529 silver badges39 bronze badges
79	3	Peter LeFanu Lumsdaine 24k2 gold badges85 silver badges143 bronze badges
56	3	Andrej Bauer 52.4k11 gold badges140 silver badges254 bronze badges
55	9	Noah Schweber 19.1k10 gold badges125 silver badges393 bronze badges
45	3	Timothy Chow 92.3k31 gold badges410 silver badges656 bronze badges
43	2	Andrés E. Caicedo 33.3k6 gold badges139 silver badges249 bronze badges
39	1	Richard Dore 5,4057 gold badges39 silver badges43 bronze badges
39	3	François G. Dorais 45.6k7 gold badges153 silver badges242 bronze badges
38	4	Elliot Glazer 9,8862 gold badges46 silver badges99 bronze badges
37	4	Mike Shulman 69.1k7 gold badges176 silver badges392 bronze badges
33	3	Stefan Geschke 16.7k2 gold badges58 silver badges85 bronze badges
32	5	Asaf Karagila♦ 42.3k9 gold badges147 silver badges302 bronze badges
30	1	Harry Altman 2,7971 gold badge37 silver badges49 bronze badges
28	1	Theo Johnson-Freyd 57.1k10 gold badges153 silver badges354 bronze badges
26	1	Pedro Lauridsen Ribeiro 9,3432 gold badges42 silver badges77 bronze badges
26	6	Greg Kirmayer 1,2991 gold badge7 silver badges5 bronze badges
24	1	Richard Borcherds 21.1k10 gold badges100 silver badges113 bronze badges
24	1	Kenny Easwaran 1,4951 gold badge12 silver badges14 bronze badges

69	10	user76284 1
69	45	Zuhair Al-Johar 13.7k1 gold badge16 silver badges58 bronze badges
62	1	Wojowu 36.2k4 gold badges136 silver badges235 bronze badges
56	1	Jxt921 1,1651 gold badge12 silver badges20 bronze badges
52	1	Conifold 1,79311 silver badges22 bronze badges
48	4	James Propp 20.3k5 gold badges59 silver badges149 bronze badges
41	2	Mikhail Katz 18.7k2 gold badges60 silver badges147 bronze badges
40	1	Andrew Critch 11.7k2 gold badges51 silver badges73 bronze badges
40	7	Alec Rhea 10.5k4 gold badges37 silver badges97 bronze badges
37	1	Dustin G. Mixon 8,1002 gold badges36 silver badges64 bronze badges
29	1	DoubleJay 2,4734 gold badges36 silver badges45 bronze badges
29	1	exfret 5194 silver badges14 bronze badges
23	1	Victor Makarov 9277 silver badges19 bronze badges
22	1	Mike Battaglia 5,03521 silver badges49 bronze badges
20	1	Chris Heunen 4,0272 gold badges31 silver badges42 bronze badges
20	2	Vladimir Reshetnikov 6,0812 gold badges55 silver badges90 bronze badges
18	1	AgCl 2,8253 gold badges28 silver badges28 bronze badges
18	2	Todd Eisworth 7,5271 gold badge28 silver badges55 bronze badges
18	4	Taras Banakh 46.2k5 gold badges89 silver badges226 bronze badges
17	3	Christopher King 7,3381 gold badge37 silver badges71 bronze badges