Mathematical Logic Training

at the Institut Camille Jordan

The purpose of this page is to provide information about training in Mathematical Logic at the Université Lyon 1.

There is a Master 2 program in Logic in 2009-2010; one can find the syllabus here. and here are the lecture notes of Tuna Altinel , Itaï Ben Yaacov and Julien Melleray (in French)
Introduction to Mathematical Logic , Master 1, Spring 2010 (in French).
Mathematical Logic, Master 1, Spring 2010.

Unless specified otherwise, all the documents below are in French.

Introduction to Descriptive Set Theory, graduate course: lecture notes (Julien Melleray).
Mathematical Logic, Master 1, 08-09: lecture notes, complete archive (Lectures: Tuna Altine, exercise sessions: Julien Melleray).
Set Theory and Model Theory, Master 1, 07-08: lecture notes (Tuna Altinel), exercise sessions (Julien Melleray), homework, complete archive .
Model theory of groups, Master 2, 06-07: exercise sessions and exam (Abderezak Ould Houcine)..
Logic and Complexity, Master 1, 04-07: model theory lecture notees, complexity lecture notes (Frank Wagner).
Groups of finite Morley rank, Master 2, 05-06: lecture notes (Eric Jaligot) (in Italian, notes taken by Luca Spada)
Model Theory, Master 2, 04-05: lecture notes (Thomas Blossier), homework, complete archive.
Model Theory, Master 2, 03-04: lecture notes (Thomas Blossier) , homework ,complete archive.
Logic and Complexity, Master 1, 03-04: exercise sessions (Thomas Blossier).
Model Theory, Master 2, 02-03: lecture notes (Tuna Altinel).
Model Theory, Master 2, 01-02: lecture notes (Frank Wagner) .
Algebraic Geometry and Model Theory, Master 2, 00-01: lecture notes (Frank Wagner).