Tag Info

semi-decidability Questions

John L.

33.2k4 gold badges29 silver badges79 bronze badges

90	33	Yuval Filmus 269k26 gold badges291 silver badges472 bronze badges
88	15	David Richerby 80.1k26 gold badges132 silver badges227 bronze badges
58	17	Raphael♦ 70.8k27 gold badges166 silver badges366 bronze badges
30	14	John L. 33.2k4 gold badges29 silver badges79 bronze badges
28	7	Andrej Bauer 28.1k1 gold badge66 silver badges108 bronze badges
25	2	Carl Mummert 2,04317 silver badges15 bronze badges
23	3	jmite 29.1k5 gold badges61 silver badges117 bronze badges
18	6	Ran G. 20.3k3 gold badges55 silver badges110 bronze badges
17	5	fade2black 9,5921 gold badge22 silver badges34 bronze badges
16	2	D.W.♦ 140k18 gold badges189 silver badges403 bronze badges
15	6	babou 19.1k37 silver badges73 bronze badges
13	1	sdcvvc 3,46116 silver badges28 bronze badges
13	7	chi 14.1k1 gold badge26 silver badges35 bronze badges
12	7	Steven 22.8k2 gold badges22 silver badges40 bronze badges
12	4	Arno 1,9046 silver badges12 bronze badges
11	7	Rick Decker 14.5k5 gold badges39 silver badges52 bronze badges
11	3	Ariel 13.2k1 gold badge19 silver badges36 bronze badges
10	1	jmad 9,3481 gold badge36 silver badges41 bronze badges
10	4	Noah Schweber 2,4466 silver badges15 bronze badges
8	1	reinierpost 4,6311 gold badge20 silver badges32 bronze badges

1	1	Richie Harvy 133 bronze badges
1	1	CS Student 31310 bronze badges

30	1	Raphael♦ 70.8k27 gold badges166 silver badges366 bronze badges
16	1	Peter Olson 3072 silver badges9 bronze badges
14	1	Giulia Frascaria 4614 silver badges16 bronze badges
11	3	Smajl 1,0152 gold badges14 silver badges17 bronze badges
10	2	Zephyr 9433 gold badges12 silver badges29 bronze badges
9	3	advocateofnone 2,8511 gold badge22 silver badges39 bronze badges
9	6	Garrick 4421 gold badge7 silver badges22 bronze badges
8	3	PALEN 3173 silver badges12 bronze badges
8	1	baffld 5935 silver badges17 bronze badges
7	2	Beleg 3221 silver badge7 bronze badges
6	1	templatetypedef 8,8171 gold badge27 silver badges58 bronze badges
6	1	Dvir 611 silver badge2 bronze badges
5	1	c2h5oh 3472 gold badges3 silver badges6 bronze badges
5	1	tdark 1556 bronze badges
5	1	Dan D-man 1
5	1	shcolf 2051 silver badge6 bronze badges
5	1	Bar 1748 bronze badges
5	2	Stecco 1816 bronze badges
4	1	EthanLWillis 2032 silver badges4 bronze badges
4	1	abc 1,6152 gold badges12 silver badges20 bronze badges