Camille Jordan

Study group on definable measures

Logique-Accueil
Чеботарев Николай Григорьевич
Чеботарев Николай Григорьевич

General stuff

We meet approximately once a week, never at the same day or time and never in the same room. Right now, the day is Tuesday and the time 10:30.

Notes of some of the talks. (They are "work in progress". Use with caution.)

A measure for perfect PAC fields with pro-cyclic Galois group by Immanuel Halupczok. (ps)

questions.tex, questions.ps: List of things we did not understand yet. (Needs password; we don't want to show the whole world how stupid we are.)


Program (talks)

  • Amador Martin Pizarro: Definable measures, following the addendum "definable measures" of the 2002-version of Hrushovski's paper "Pseudo-finite fields and related structures".
  • Immanuel Halupczok: Motivic counting, as described in Hales: What is motivic measure?
    For those interested: Notes of a seminar on motivic integration which has taken place in Berlin in 2005.
  • Juan Pons Llopis: Almost quantifier elimination and model completeness, after some notes by Chatzidakis
  • Thomas Blossier: Almost quantifier elimination and almost model completeness, after Hrushovski: "definable measures"
  • Ricardo de Aldama Sanchez: Measures on pseudo-finite fields, after Chatzidakis
  • Juan Pons Llopis and Immanuel Halupczok: Why 1:|C(h)|?
  • Amador Martin Pizarro: La non-validité de la propriété de Fubini en ACF, ou pourquoi n'on peut pas utiliser de mots negatifs en français
  • Juan Pons Llopis: Теорема о полноте Чеботарева
  • Immanuel Halupczok: No proof of the Чеботарев density theorem in the function field case
  • Immanuel Halupczok: Quelques remarques préliminaires sur une hypothétique reponse à une question camouflée dans un article banni 14 années de publication et ce qui advint1


1L'aurateur n'étant pas l'auteur du titre, celui-là décline toute résponsabilité pour celui-ci.
CNRS

Thème logique de l'Institut Camille Jordan
Université Claude Bernard Lyon 1
69622 Villeurbanne cedex
Remarques, suggestions, etc. : @

UCBL