Math 565: Foundations of Mathematics II

I am Stephen G. Simpson, a mathematician at Penn State University. I am teaching MATH 565 in Spring 2015. We are meeting Monday-Wednesday-Friday 1:25-2:15 PM in 106 McAllister Building.

MATH 565 is an advanced graduate course in the foundations of mathematics. My plain text advertisement for MATH 565 is here. The syllabus for Spring 2015 is available in various formats: DVI, PS, PDF.

As of January 12, 2015, the plan for MATH 565 is to go through my book Subsystems of Second Order Arithmetic, starting at the beginning. Of course it will not be possible to cover the entire book. I will lend a copy of the book to each student who doesn't already own one.

As needed, depending on the students' background knowledge, I plan to supplement the material from my book with material from my lecture notes for MATH 457 and 557 (Mathematical Logic) and MATH 558 (Foundations of Mathematics I). These lecture notes are available at

Could each student please make an individual appointment with me? The purpose of the appointment is to discuss the student's background and interests. At the same time, the student may pick up a copy of my book if needed.

My email is and my office address is 305 McAllister Building.

Also of interest is the Penn State Logic Seminar. / 12 January 2015