Office: 310 Altgeld Hall
Phone: 333-2768 (office); 365-0024 (home)
Email: henson AT math DOT uiuc DOT edu
Math 570 webpage: http://www.math.uiuc.edu/~henson/Math570/Fall2009/  (Further course information will be posted here during the semester.)

Office Hours: Mon. 4:00, Tues. 3:00, Fri. 3:00; and by appointment.  In addition, Prof. Henson will be glad to meet with students at more or less any time he is in his office. Inquiries can also be made by email and will usually get a quick response. To be absolutely sure of meeting with him, it is advisable to make an appointment.

Required Text: A set of lecture notes written by Prof. van den Dries (posted on the course webpage).  We will cover essentially everything in chapters 2-5; chapter 1 is for background and reference.

Course Description: This course gives a basic introduction to First Order Logic (also known as Predicate Logic). No previous study of logic is assumed. The main topics of this course are:

• The compactness and completeness theorems for first order logic. The first of these is basic to the usefulness of nonstandard models. The second says that logical validity is equivalent to provability in a certain formal system, and provides a starting point for rigorous study of the foundations of mathematics.
• Elements of model theory.
  
• Elements of computability theory.
• The Gödel incompleteness theorem. This result says that in a strong enough system with effectively given axioms, not all true statements can be proved.

• 25% -- Midsemester exam, Friday, October 9, 2009; covers chapters 2-3.
• 50% -- Final exam, 1:30-4:30, Tuesday, December 15, 2009; covers the entire semester.
• 25% -- Homework sets (roughly every 3 weeks).  See course web page for deadlines and problem sheets.