Robert I. Soare
Robert I. Soare
Robert Irving Soare is an American mathematician. He is the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago, where he has been on the faculty since 1967. He proved, together with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory.
In 2012 he became a fellow of the American Mathematical Society.[1]
Selected publications[]
- Soare, R. (1987). Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag. ISBN 3-540-15299-7.
- C. G. Jockusch Jr. and R. I. Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).[1]
See also[]
- Jockusch–Soare forcing
References[]
- ^ List of Fellows of the American Mathematical Society, retrieved 2013-07-26.
External links[]
| hide Authority control  | |
|---|---|
| General | |
| National libraries | |
| Scientific databases | |
| Other |
|
   | This article about an American mathematician is a stub. You can help Wikipedia by . |
Categories:
- Living people
- University of Chicago faculty
- 20th-century American mathematicians
- 21st-century American mathematicians
- Fellows of the American Mathematical Society
- American mathematician stubs