Richard Shore

Richard A. Shore
BornAugust 18, 1946 (1946-08-18) (age 78)
CitizenshipAmerican
Alma materMIT
Scientific career
FieldsMathematics
InstitutionsCornell University
Thesis Priority Arguments in Alpha-Recursion Theory  (1972)
Doctoral advisorGerald E. Sacks

Richard Arnold Shore (born August 18, 1946) is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on , the partial order of the Turing degrees.

  • Shore settled the Rogers homogeneity conjecture by showing that there are Turing degrees and such that and , the structures of the degrees above and respectively, are not isomorphic.[1]
  • In joint work with Theodore Slaman, Shore showed that the Turing jump is definable in .[2]
  1. ^ Shore, R.A. (1979). "The homogeneity conjecture". Proceedings of the National Academy of Sciences of the United States of America. 76 (9): 4218–4219. Bibcode:1979PNAS...76.4218S. doi:10.1073/pnas.76.9.4218. JSTOR 70054. PMC 411543. PMID 16592707.
  2. ^ Shore, R.A.; Slaman, T.A. (1999). "Defining the Turing jump". Math. Res. Lett. 6 (5–6): 711–722. doi:10.4310/MRL.1999.v6.n6.a10.