Model theory (MATH43052/63052)

Timetable
Lectures:	Tuesday 11-12, Tuesday 13-14 and Wednesday 11-13. All lectures take place in ATB G.113

Lecture notes and example sheets
Lecture Notes:	Version July 6, 2011
Example sheets:	Examples with solutions

Coursework: There were two take home tests, weighting 10% each. The first one, including solutions, is available here. The second one, including solutions is available here.

Exam: There will be an end of semester examination of two and a half hours, weighting 80%. Both exams, MATH43052 and MATH63052 take place on Tuesday 3rd May 2011, 11am - 2pm in University Place 3.204. The 2008-2009 paper can be found here.

Textbooks:

Chang, C. C. and Keisler, H. J. Model Theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi+650 pp. Available in the John Rylands library.
Serge Lang. Algebra. Revised third edition. Graduate Texts in Mathematics, 211. Springer-Verlag, New York, 2002. xvi+914 pp. Available in the John Rylands library.
David Marker. Model theory: an introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002. viii+342 pp. Available in the John Rylands library.
Wilfrid Hodges. Model Theory . Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993. xiv+772 pp. Available in the John Rylands library.
Predicate Logic. These are the lecture notes of which the revision notes are extracted. Be aware that some things are defined slightly differently in the revision notes and that the revision notes contain the relevant material used for our Model Theory course.

Site maintained by Marcus Tressl. Last modified: Wednesday 06. July 2011.

20010/2011, Semester 2: Model theory (MATH43052/63052)