model-theory

Model Theory incarnation 2017. Course notes and handouts and overheads are here, ready for downloading. Be warned, however, that the course notes (ModelTheoryNotes.pdf) are very much incomplete and will be changing as the course goes on. If you click on "subscribe to changes", then I think you will get an email each time something changes on this page.

Recordings of lectures will be available here as soon as I find out where they go. 

Because the material on first -order logic is covered only cursorily, I have uploaded W. Rautenberg's Concise Introduction to Mathematical Logic as well. The usual restrictions implied by copyright apply, so it is for personal use of the participants only.  Chapters 1-3 are primarily of interest, but Chapter 5 is also recommended.

SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
ASSIGNMENT 1  115k v. 1 Aug 3, 2017, 12:58 AM Tomasz Kowalski
Ċ
View Download
ASSIGNMENT 2  108k v. 1 Sep 19, 2017, 6:55 PM Tomasz Kowalski
Ċ
View Download
ASSIGNMENT 3  103k v. 1 Sep 19, 2017, 7:18 PM Tomasz Kowalski
Ċ
View Download
Brief course description (same as for AMSI)  136k v. 1 Aug 2, 2017, 11:29 PM Tomasz Kowalski
Ċ
View Download
Model Theory course notes: INCOMPLETE.  675k v. 1 Aug 2, 2017, 11:00 PM Tomasz Kowalski
Ċ
View Download
Slides in handout format (no overlays)  365k v. 10 Aug 10, 2017, 12:17 AM Tomasz Kowalski
Ċ
View Download
Intro to mathematical logic  2498k v. 1 Aug 2, 2017, 11:30 PM Tomasz Kowalski
Comments