Home
Teaching
Online Lectures on Goodstein's Theorem
Math 570
Previous Courses
Math 571, Fall 2013
Course Information
Homework
Resources
Outline
Paper
Papers
Research Notes
Reviews
Proof Theory Notes
Book on ultraproducts in graph theory: Randomness in the Limit
Logic at UPenn
Homework 4
, due March 21st
Homework 3
, due February 28th
Homework 2
, due February 14th
(
Solution to cut-elim problem
,
Solution to problem 3
)
Homework 1
, due January 31st
(
Sample solution to problem 5
)