Home
Teaching
Math 341
Previous Courses
Papers
Research Notes
Reviews
Proof Theory Notes
Logic at UPenn
The Regularity Lemma with bounded VC Dimension
A General Correspondence between Averages and Integrals
A Model Theoretic Proof of Szemeredi's Theorem