The main project for this course will be an approximately 10 page expository paper. Typical examples of appropriate types of papers would be: The expository paper is intended to provide an opportunity to explore connections between proof theory and a subject the student is interested in, so the exact form of the paper is fairly flexible. (For instance, an appropriate programming project would be acceptable.)



Here is a (very non-exhaustive) list of suggested topics: