department seal
  • Home
  • Teaching
    • Online Lectures on Goodstein's Theorem
    • Math 570
    • 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