Home
Teaching
Online Lectures on Goodstein's Theorem
Math 570
Previous Courses
Papers
Research Notes
Reviews
Proof Theory Notes
Book on ultraproducts in graph theory: Randomness in the Limit
Logic at UPenn
Review of Kahle Reinhard and Rathjen Michael, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015
Three papers on the reverse mathematics of Jullien's Indecomposability Theorem
Review of Elements of Logical Reasoning by Jan von Plato