Math 557: Mathematical Logic

I am Stephen G. Simpson, a mathematician at Penn State University.

Math 557 is an introductory graduate-level course in mathematical logic. It is suitable for all mathematics graduate students. It is one of two first-year graduate courses in mathematical logic, the other being Math 558.

I am teaching Math 557 in Fall 2013. We are meeting Tuesdays and Thursdays, 9:45-11:00 AM, in 315 McAllister Building. My office hours are by appointment. Grades will be based on homework and an in-class midterm exam. Homework is due at the beginning of class on the specified due date.

Here are some course materials.

I have taught Math 557 several times before. Some old course materials are available.

Information about Penn State's Mathematical Logic Research Group is available. Also of interest is the Penn State Logic Seminar. / 5 December 2013