Mathematical Logic Training

at the Institut Camille Jordan

The purpose of this page was to provide information about training in Mathematical Logic at the Université Lyon 1. It is no longer updated but is kept online to maintain access to the files below, which regroup some teaching resources related to past work in Lyon.

[Courses 2009-2010] [Ph.D Topics] [Archives] [Links]

Courses 2009-2010

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.

Ph.D Topics

Positive Universes, Tuna Altinel .
Model theory and free groups, Tuna Altinel.
Model theory of Thompson-Hiegman-Bieri-Strebel-Stein groups, Tuna Altinel.
Equations in free products, Abderezak Ould Houcine

Past courses

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).