model-theory

Page of Model Theory course. Course notes, 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.


You can download recordings of lectures here. And you are more than welcome to use the comment box for any comments or questions you have on the course. 
SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
Ċ
View Download
Assignment 1 (due week 4)  116k v. 1 Mar 13, 2016, 3:43 AM Tomasz Kowalski
Ċ
View Download
Assignment 2 (due 12th May; extended to 19th May)   106k v. 2 May 12, 2016, 2:06 AM Tomasz Kowalski
Ċ
View Download
A very unfinished version of course notes.  494k v. 1 Mar 25, 2015, 11:02 PM Tomasz Kowalski
Ċ
View Download
Slides in handout format (no overlays)  353k v. 5 May 12, 2016, 2:05 AM Tomasz Kowalski
Ċ
View Download
Slides for the course (likely to change as we go on)  763k v. 5 May 12, 2016, 2:05 AM Tomasz Kowalski
Ċ
View Download
A brief course description   72k v. 2 May 4, 2016, 7:59 PM Tomasz Kowalski
Ċ
View Download
Exam paper 2016  131k v. 3 May 10, 2017, 9:02 PM Tomasz Kowalski
Ċ
View Download
A model theoretic proof of Ramsey Theorems (Ramsey was Frank Plumpton Ramsey, hence the file name).  141k v. 1 May 4, 2016, 8:00 PM Tomasz Kowalski
Comments