MODNET Training Workshop- Model theory and Applications

La Roche-en-Ardenne, 20-25 April 2008.

A meeting of  the research training network in Model Theory MODNET

MODNET is an FP6 Marie Curie Research Training Network in Model Theory and its Applications, funded by the European Commission under contract number MRTN-CT-2004-512234

Slides of talks:
Jonathan Kirby had produced "compressed" versions of most of the slides below. They can be found on his webpage

Valued fields tutorial.
  • Model Theory of Valued fields by D. Macpherson.
  • Slides of the talks of Dugald: chapters 1-4 ; chapters 5-6 .
  • Introduction to Model theory of valued fields by Luc Bélair.
  • Luc Belair notes on his talk and exercices (complement to his talk).

    Motivic Integration tutorial and related talks.
  • A course on motivic integration, by R. Cluckers
    lecture 1 ( printable version of lecture 1).
    lecture 2 ( printable version of lecture 2).
    lecture 3 ( printable version of lecture 3).
    lecture 4 ( printable version of lecture 4).

  • Definable sets in pseudo-finite fields by Immanuel Halupczok.

  • Geometric integration by J. Nicaise ( printable version of the slides).

    On Interactions between Model theory and number theory (Galois groups and transcendence) tutorial and related talks.
  • Introduction to functional analogues of the Lindemann-Weierstrass theorem by A Pillay.
  • Outline of proof of functional Lindemann-Weierstrass by A. Pillay.
  • Lindemann-Weierstrass for semi-abelian varieties over function fields by D. Bertrand and Anand Pillay (guide to their talks).
  • On the Ax-Schanuel property in arbitrary characteristic by P. Kowalski
  • The theory of exponential differential equations for constant groups by J. Kirby
    ( printable version of the slides).

  • Difference fields, torsors and descent by Z. Chatzidakis.

    On Finite Model Theory.
  • Finite Model Theory: First-order Logic on the class of finite models , A. Dawar
  • Finite Model Theory: Restricted classes of structures , A. Dawar.
  • Complexity of First- and Monadic Second-Order Logic, by S. Kreutzer.
    ( printable version of the slides).

    Short talks and A. Pillay's model theory talk.
  • Forking symmetry and the Vapnik-Chervonenkis theorem , by A. Pillay.
  • Dependent Fields have no Artin-Schreier extensios by I. Kaplan.
  • Combinatorial geometries of the field extensions by J. Gismatullin.