Writing

These are unpublished manuscripts and still very much works in progress.

A Careful Introduction to Model Theory: These notes cover most of the material from MATH 770, the graduate model theory course at UW-Madison.

Sessions in Model Theory: Written for graduate students at UW-Madison preparing for the model theoretic components of the Qualifying Exam in Logic which currently has no sessions during the Summer Enhancement Program. My colleague, Chiara Travesset, has kindly written A Careless Introduction to Computability Theory to cover the computability theoretic material relevant to the exam.