| Papers | Teaching | Talks |
|
I am a visiting scholar in the Mathematics Department
at Harvard University
in Cambridge, MA. My research interests are in mathematical
logic, specifically in category theory, infinitary model
theory, set theory, and higher recursion theory.
Contact Details
|
This page was created by Nate Ackerman, and last revised on August 17, 2011.