## Matthew Harrison-Trainor## ContactOffice: 1045 Evans.Email: . ## Curicculum VitaeMy CV and research statement.## About MeI am currently a GSI for Math 53. I am a 5th-year PhD student in the Group in Logic and the Methodology of Science at the University of California, Berkeley. My advisor is Antonio Montalbán. I received my undergraduate degree at the University of Waterloo, where I worked with Barbara Csima and Rahim Moosa. My main interests are in computability theory and computable structure theory in particular. Some of the questions I have explored are: - What can a theory say about the Scott ranks of its models? What must computable models of high Scott rank look like?
- How do functors from presentations of one structure to presentations of another induce interpretations?
- What kinds of regularity do properties such as degree spectra of relations and degrees of categoricity exhibit on a cone?
I have also published work on model theory and differential algebra, modal logic, and probability theory. All of my papers are available online here. Some of my slides are available here. |