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. |
model-theory
| Selection | File type icon | File name | Description | Size | Revision | Time | User |
|---|---|---|---|---|---|---|---|
| Ċ | 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 |