Matthew Harrison-Trainor


Office: 1045 Evans.
Email: .

Curicculum Vitae

My CV and research statement.

About Me

I 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 am also interested in studying the computability-theoretic properties of particular algebraic structures such as groups and various types of fields.

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.