From: Stephen G SimpsonSubject: please enroll in MATH 565 Date: Mon, 1 Dec 2014 13:53:22 -0500 Dear mathematical logic students, Next semester I am offering MATH 565, a graduate course in mathematical logic. The subject of this course is foundations of mathematics. More specifically, we will study how tools from mathematical logic (predicate calculus, Turing computability, etc.) can be used to analyze the logical strength of core mathematical theorems (in analysis, algebra, combinatorics, etc.) A suitable prerequisite for this course would be a previous course in mathematical logic, such as MATH 457 or 557 or 558. I believe most of you have taken one of these courses or are taking one of them now. MATH 565 needs 4 or 5 students to run, and currently I have only 3. If you have already enrolled, thank you. If not, please enroll soon. Finally, if you have any questions about MATH 565 or mathematical logic generally, please let me know. Best wishes, -- S. Simpson Prof. Stephen G. Simpson Department of Mathematics McAllister Building, Pollock Road Pennsylvania State University State College, PA 16802, USA web: www.math.psu.edu/simpson email: simpson@math.psu.edu office: 814-863-0775 staff: 814-865-7527 home: 814-238-2274 fax: 814-865-3735