Listing of assignments (exercises to
solve and reading to do).
Homework assignments:
#1 handed out F 9/11; solutions due F 9/18; (probset1.pdf) (solutions here)
#2 handed out F 9/25; solutions due F 10/2; (probset2.pdf) (solutions here)
#3 handed out M 10/12; solutions due M 10/19; (probset3.pdf) (solutions here)
#4 handed out M 11/2; solutions due W 11/11 (deadline was
extended
two days); (probset4.pdf) (solutions here)
#5 handed out M 11/30; solutions due M 12/7; (probset5.pdf) (solutions here)
Homework problems may be discussed
with other students; however, it is
required that the solutions handed in by a student should be solely his
own work.
Mathematical
Logic (Math 570), Class Notes;
written by Prof. L. van den Dries, this is the main text for Math
570.
(Please note that this is a preliminary version and it is not yet ready
to be widely distributed. It is posted here only for the
convenience of
the students taking Math 570 this semester. Take an electronic
copy and / or print a copy for your own use in this class, but do not
distribute the file or the printed copy to anyone else.)
Link to the home page of
the Urbana logic group; this gives a general description of Math 570
and
a discussion of the Comprehensive Exam in Logic (in the Ph.D. program
in
Mathematics at UIUC), as well as information about the logic program at
UIUC.
List of participants
in the email distribution list of the Urbana logic program (seminar
notices, etc). Ask Prof. Henson if you want your email address
added to this list.