MATH 6001: Advanced Mathematical Logic I: Proof Theory

October 20, 2013
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.
Credit Hours: 

To find course availability and times, please visit the Ohio State Course Catalog and Master Schedule.

[pdf] - Some links on this page are to Adobe .pdf files requiring the use of Adobe Reader. If you need these files in a more accessible format, please