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
[an error occurred while processing this directive] [an error occurred while processing this directive]