Model Theory

Second Semester 2005/2006
Institute of Logic, Language and Computation
Universiteit van Amsterdam

 
 

Intstructor: Dr Eric Pacuit

Class Meetings: Tuesdays 13 - 14, Wednesdays 11 - 13

Classroom: Tuesdays A.303, Wednesdays P.017

Course Language: English

Intended Audience: M.Sc. students of Logic and Mathematics

Prerequisites: This course assumes mathematical maturity and knowledge about first-order logic.

Textbook: A Shorter Model Theory by W. Hodges.

Evaluation: There will be 8 - 10 weekly homework assignments worth 5 - 10 points. The final grade will depend on the total number of homework points.

Bonus Problems: From time to time, I will put some bonus problems here for you to solve. There is no deadline to solve these problems (well, before the end of the semester) and solutions must be typed and well-organized (please include the statement of the claims you are proving). Note that these problems are meant to be in addition to your regular homework.

 

  
 
Course Schedule
(subject to change)
Week
Date
Topics
Homework Sets
Period A (weeks 1-8)
1 Feb. 7 Introduction 1.1  
Feb. 8 1.2 - 1.3 Due Feb. 15
Section 1.2: 2 and 6
2 Feb. 14 Practice Session Canceled  
Feb. 15 1.3 - 1.5, 2.1 No Homework
3 Feb. 21 2.1, Practice Session
Feb. 22 2.1-2.3 Due March 1
Section 1.3: 1; Section 1.5: 2; Setion 2.1: 4; Section 2.2: 3.
4 Feb. 28 Practice Session  
Mar. 1 2.4 - 2.5 Due March 8
Section 2.3: 3; Section 2.4: 5; Setion 2.5: 1.
5 Mar. 7 Practice Session Read Section 2.6
Mar. 8 2.7 Due March 15
Section 2.4: 4; Section 2.6: 1, 6
6 Mar. 14 Practice Session Canceled GLoRiClass Opening Event
Mar. 15 2.7 Due March 22
(in my mailbox)
Section 2.7: 1
7 Mar. 21 3.1  
Mar. 22 Class Canceled Infinity Symposium
8 Mar. 28 No Class Exam Week  
Mar. 29 No Class Exam Week  
Period B (weeks 9-16)
9 Apr. 4 3.2  
Apr. 5 3.3 Due April 18
Section 3.1: 2, Section 3.2: 6 (a), Section 3.3: 5, 9
10 Apr. 11 5.1 Due April 19
Section 4.2: 1, Section 4.3: 2
Apr. 12 5.2, 6.2  
11 Apr. 18 5.3 Due April 25
Section 5.1: 4, 12; Section 5.2: 1; Section 6.2: 1 , 2
Apr. 19 5.3  
12 Apr. 25 5.4  
Apr. 26 5.4, 5.5 Due May 3
Section 5.3: 1; Section 5.4: 2, 6; Section 5.5: 1
13 May 2 5.6  
May 3 5.6  
14 May 9 8.5  
May 10 8.5 Final HW Assignment
15 May 16 Class Canceled  
May 17 Class Canceled  
16 May 24 No Class Exam Week  
May 25 No Class Exam Week