Logical calculi; cut elimination and Herbrand's theorem; ordinal analysis; ordinal analysis of theories of sets; constructive and intuitionistic logics; realizability; proof mining.
Prereq: 5051 (649), or permission of department. Not open to students with credit for 747.