Math 571 -- Model Theory -- Spring 2008
Prof. C. Ward Henson

• Course information
  
  
• List of model theory books
  
  
• Math 571 lecture notes (version of 6-9-08; this reflects many corrections made during the semester)
  
  
• Some Exercises; (there are many other exercises in the lecture notes, especially the Facts):
  
• Sections 1 and 2:     exercises12.pdf
• Sections 3 and 4:     exercises34.pdf
  
• Sections 5 and 6:     exercises56.pdf
  
• Sections 7 and 9:     exercises79.pdf     
  
• (Section 8 on QE for Z-groups is omitted from this course)
• Sections 10 and 11: exercises1011.pdf 
  
• Sections 12 and 13: exercises1213.pdf  revised 3/28/08
• Section 17:               exercises17.pdf
  
  
• Homework problems (due 5:00pm; submit solutions by the deadline for a grade):
• #1 due 2/11  (was given out 2/4:      probset1.pdf);
• #2 due 2/25  (was given out 2/15:    probset2.pdf);
  
• #3 due 3/10  (was given out 2/29:    probset3.pdf);
• #4 due 3/31  (was given out 3/14:    probset4.pdf); (4.1 revised 3/22/08); Spring break 3/15-23
  
• #5 due 4/14  (was given out 4/2:      probset5.pdf); no class 4/4
• #6 due 4/28  (was given out 4/18:    probset6.pdf); last class 4/30
  

• Link to the home page of Prof. Henson.
  
  
• 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).