322:
335:
36:
328:
151:
411:
372:
406:
401:
64:
44:
396:
416:
215:
365:
234:
137:
118:
358:
90:
279:
193:
68:
60:
246:
and R. I. Soare, "Î (0, 1) Classes and
Degrees of Theories" in Transactions of the American Mathematical Society (1972).
97:
49:
53:
104:
256:
165:. He is the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the
86:
391:
166:
178:
75:
230:
211:
174:
342:
111:
182:
321:
334:
385:
243:
186:
170:
162:
17:
290:
275:
150:
306:
169:, where he has been on the faculty since 1967. He proved, together with
327:
185:. His doctoral students at the University of Chicago have included
74:
from the article and its talk page, especially if potentially
29:
346:
229:. Perspectives in Mathematical Logic. Springer-Verlag.
291:
List of
Fellows of the American Mathematical Society
341:This article about an American mathematician is a
208:Turing Computability - Theory and Applications
366:
8:
412:Fellows of the American Mathematical Society
373:
359:
67:about living persons that is unsourced or
138:Learn how and when to remove this message
149:
268:
227:Recursively enumerable sets and degrees
7:
407:21st-century American mathematicians
402:20th-century American mathematicians
317:
315:
345:. You can help Knowledge (XXG) by
192:In 2012 he became a fellow of the
25:
333:
326:
320:
34:
1:
397:University of Chicago faculty
280:Mathematics Genealogy Project
194:American Mathematical Society
177:, and has done other work in
417:American mathematician stubs
45:biography of a living person
181:, primarily in the area of
72:must be removed immediately
433:
314:
293:, retrieved 2013-07-26.
257:Jockusch–Soare forcing
155:
59:Please help by adding
27:American mathematician
307:Professional homepage
200:Selected publications
167:University of Chicago
153:
183:computability theory
65:Contentious material
210:. Springer-Verlag.
159:Robert Irving Soare
18:Robert Irving Soare
244:C. G. Jockusch Jr.
225:Soare, R. (1987).
206:Soare, R. (2016).
179:mathematical logic
156:
354:
353:
217:978-3-642-31932-7
175:low basis theorem
148:
147:
140:
122:
87:"Robert I. Soare"
48:needs additional
16:(Redirected from
424:
375:
368:
361:
337:
332:
331:
330:
324:
316:
294:
288:
282:
273:
240:
221:
143:
136:
132:
129:
123:
121:
80:
61:reliable sources
38:
37:
30:
21:
432:
431:
427:
426:
425:
423:
422:
421:
382:
381:
380:
379:
325:
319:
312:
303:
298:
297:
289:
285:
276:Robert I. Soare
274:
270:
265:
253:
237:
224:
218:
205:
202:
161:is an American
154:Robert I. Soare
144:
133:
127:
124:
81:
79:
58:
39:
35:
28:
23:
22:
15:
12:
11:
5:
430:
428:
420:
419:
414:
409:
404:
399:
394:
384:
383:
378:
377:
370:
363:
355:
352:
351:
338:
310:
309:
302:
301:External links
299:
296:
295:
283:
267:
266:
264:
261:
260:
259:
252:
249:
248:
247:
241:
235:
222:
216:
201:
198:
146:
145:
69:poorly sourced
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
429:
418:
415:
413:
410:
408:
405:
403:
400:
398:
395:
393:
392:Living people
390:
389:
387:
376:
371:
369:
364:
362:
357:
356:
350:
348:
344:
339:
336:
329:
323:
318:
313:
308:
305:
304:
300:
292:
287:
284:
281:
277:
272:
269:
262:
258:
255:
254:
250:
245:
242:
238:
236:3-540-15299-7
232:
228:
223:
219:
213:
209:
204:
203:
199:
197:
195:
190:
188:
187:Barbara Csima
184:
180:
176:
172:
171:Carl Jockusch
168:
164:
163:mathematician
160:
152:
142:
139:
131:
120:
117:
113:
110:
106:
103:
99:
96:
92:
89: –
88:
84:
83:Find sources:
77:
73:
70:
66:
62:
56:
55:
51:
46:
41:
32:
31:
19:
347:expanding it
340:
311:
286:
271:
226:
207:
191:
158:
157:
134:
125:
115:
108:
101:
94:
82:
71:
54:verification
47:
386:Categories
263:References
128:March 2022
98:newspapers
50:citations
251:See also
76:libelous
278:at the
112:scholar
233:
214:
173:, the
114:
107:
100:
93:
85:
119:JSTOR
105:books
43:This
343:stub
231:ISBN
212:ISBN
91:news
52:for
388::
196:.
189:.
63:.
374:e
367:t
360:v
349:.
239:.
220:.
141:)
135:(
130:)
126:(
116:·
109:·
102:·
95:·
78:.
57:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.