Independent Study in Model Theory

Instructor: Dr. James Rauff, Professor of Mathematics

Text: Introduction to Mathematical Logic by J. Malitz (Springer-Verlag, 1979)

Course description: An introduction to model theory and advanced mathematical logic. Topics include structures, satisfaction and truth, normal forms, definability, compactness, and the Löwenheim-Skolem and Herbrand theorems.

Requirements: Work assigned exercises and meet weekly with instructor.

Grading: Grade will be based on written and oral work.

Syllabus: Updated on January 15, 2010

Week	Assignment
1	Read 3.2-3.3
2	Exercises #1,2,4,5,6,7 on p.141
3	Read pp.142-through Example 4.14 Explain each axiom in Example 4.14 orally
4	Read pp. 147-150. Exercises #2,5 on p.150
5	Read 3.5 Exercises #1-3 on p.157
6	Exercises #4-7 on p.157
7	Read 1.10.
8	Exercises #7,8,10,11,12 on pp.42-43
9	Read 3.6. Exercises #2, 7, 8 on pp.160-161
10	Read 3.7
11	Read 3.8. Exercises #1, 3 on p.174
12	Read 3.9. Exercises #1,2 on p.179
13	Read 3.10. Exercises #6,7 on p.185
14	Read 3.11
15