Richard A. Shore

Goldwin Smith Professor of Mathematics Emeritus

Research Interests (from Department's Faculty Web Page)

Curriculum Vitae

• Education and Employment
• Invited Talks
• Honors and Grants
• Editorial Boards and Other Committees
• Other Professional Activities
• Ph. D. Theses Directed and Postdoctoral Fellows Sponsored
• Publications

Papers available in electronic format

Logic Seminar

Logic for Applications, Texts and Monographs in Computer Science, 2^nd ed., Graduate Texts in Computer Science, Springer-Verlag, New York, 1997 (with A. Nerode).

• Corrections
• Geneological Database

Other links

• Association for Symbolic Logic
• Computability Theory Home Page (maintained by Bjorn Kjos-Hanssen)
• Computability, Reverse Mathematics and Combinatorics: Open Problems from BIRS, December 7-12, 2008.
• Questions in Recursion Theory (maintained by Ted Slaman)
• The Turing Degrees: Global and Local Struture (My notes, 2015).