Tag Info

foundations Questions

14	1	Dmytro Taranovsky 7,5251 gold badge22 silver badges45 bronze badges
4	1	Zhen Lin 15.8k1 gold badge46 silver badges84 bronze badges

632	45	Joel David Hamkins 236k44 gold badges777 silver badges1.4k bronze badges
487	20	Andrej Bauer 48.8k11 gold badges131 silver badges239 bronze badges
343	16	Timothy Chow 82.6k26 gold badges363 silver badges587 bronze badges
297	24	Mike Shulman 66.7k7 gold badges162 silver badges368 bronze badges
194	20	Andreas Blass 73.1k8 gold badges191 silver badges290 bronze badges
110	7	Peter LeFanu Lumsdaine 21.3k2 gold badges75 silver badges128 bronze badges
110	15	Noah Schweber 21.1k10 gold badges110 silver badges331 bronze badges
106	7	James E Hanson 12.4k3 gold badges37 silver badges67 bronze badges
102	4	Henry Towsner 7,14527 silver badges35 bronze badges
96	4	Simon Henry 42.4k5 gold badges107 silver badges205 bronze badges
94	8	David Roberts♦ 35.4k11 gold badges124 silver badges348 bronze badges
92	1	Ivan Di Liberti 9,1111 gold badge27 silver badges66 bronze badges
77	4	François G. Dorais 44.4k6 gold badges150 silver badges233 bronze badges
75	6	Nik Weaver 42.8k3 gold badges112 silver badges213 bronze badges
66	6	Ali Enayat 17.7k2 gold badges63 silver badges105 bronze badges
59	7	Emil Jeřábek 47.1k4 gold badges147 silver badges208 bronze badges
54	5	Tim Campion 63.9k13 gold badges143 silver badges384 bronze badges
50	5	Todd Trimble 53.3k6 gold badges205 silver badges322 bronze badges
48	1	Harry Gindi 19.6k16 gold badges123 silver badges215 bronze badges
48	3	Leo Alonso 9,2292 gold badges43 silver badges57 bronze badges

user76284

2,20315 silver badges24 bronze badges

157	1	MWB 1,6672 gold badges11 silver badges20 bronze badges
136	17	Mirco A. Mannucci 7,8534 gold badges36 silver badges66 bronze badges
113	8	Jxt921 1,1151 gold badge12 silver badges20 bronze badges
110	4	David Roberts♦ 35.4k11 gold badges124 silver badges348 bronze badges
100	15	Keshav Srinivasan 4,5872 gold badges25 silver badges51 bronze badges
99	2	godelian 5,9023 gold badges37 silver badges42 bronze badges
74	1	Claus 6,9174 gold badges25 silver badges45 bronze badges
72	3	jg1896 3,31810 silver badges26 bronze badges
62	10	user76284 2,20315 silver badges24 bronze badges
56	4	Noah Schweber 21.1k10 gold badges110 silver badges331 bronze badges
55	8	Taras Banakh 41.8k3 gold badges74 silver badges183 bronze badges
51	3	Amir Asghari 2,4373 gold badges43 silver badges59 bronze badges
50	1	user98009 5095 silver badges3 bronze badges
47	1	Andrej Bauer 48.8k11 gold badges131 silver badges239 bronze badges
47	5	Christopher King 6,3531 gold badge32 silver badges60 bronze badges
47	6	Alec Rhea 10.1k3 gold badges30 silver badges88 bronze badges
45	1	an12 1,30212 silver badges17 bronze badges
44	7	goblin GONE 3,79318 silver badges39 bronze badges
43	1	Martin Brandenburg 63.1k11 gold badges207 silver badges424 bronze badges
39	1	Elie Ben-Shlomo 7505 silver badges10 bronze badges