Welcome to the homepage for Prof. John Baldwin's Fall 01 course:
Math 502 Metamathematics
Meeting at 11 MWF in 302 Addams hall
Instructor: John T. Baldwin Office:
417 SEO Office hours: 1:30 PM M F 4-5 W(tentative)
Phone: (312) 413-2149 (fax 996-1491)
Email: jbaldwin@math.uic.edu
This a beginning in graduate course in logic. The prerequisite is undergraduate logic or considerable mathematical sophistication, i.e. consent of instructor Topics will include the syntax and semantics of first order logic, the completeness and incompleteness theorems, introductory recursion and model theory. Texts: Ebbbinghaus, Flum, and Thomas and Cutland.Click on the title to move to any of the following topics. The syllabus is presented as an html file. The problem sets will be in dvi or ps. Use whichever your browser supports.
Assignment 1 (postscript file)
Further course handouts will be posted, stay tuned.