Vous êtes ici: UNIL > HEC > LOGIQUE > Actualités > Séminaire des doctorants
Français | English

Séminaire des doctorants

Prochain séminaire:

Mercredi 12 mars 2014, 14h, salle Internef 145:
"Recent problems on determinacy of Wadge classes in second order arithmetic" par Takako Nemoto (JAIST).

Séances passées:
  • "Interplay between proof theory and descriptive set theory" par Kentaro Sato (Université de Berne).
  • "Generalising Ramsey theorem: Combinatorial forcing", par Yann Pequignot.
  • "Une description bqo des fonctions continues de l'espace de Baire", par Raphaël Carroy.
  • "An introduction to Better Quasi-Order Theory", par Yann Pequignot.
  • "Stone duality and the recognisable languages", par Yann Pequignot.
  • "Decomposing Baire class one functions", par Raphaël Carroy.
  • "Proof of the Stone duality", par Yann Pequignot.
  • "Equivalence between the Wadge Hierarchy and the Conciliatory Hierarchy", par Kevin Fournier.
  • "Une introduction à la hiérarchie de Wadge et la hiérarchie de Steel, 2ème partie", par Jacques Duparc.
  • "Une introduction à la hiérarchie de Wadge et la hiérarchie de Steel, 1ère partie", par Jacques Duparc.
  • "Determinacy and reverse mathematics, ATR_0 and more stronger systems", par Takako Nemoto.
  • "Reverse Mathematiques, an introduction", par Takako Nemoto.
  • "Turing Degrees, an introduction", par Kevin Fournier.
  • "A forceless, ineffective, powerless proof by Ben Miller of Silver's theorem", par Raphaël Carroy.
  • "Characterizations of EF on Infinite Trees (joint work with B. ten Cate)", par Alessandro Facchini.
  • "Forest Algebras, Part II", par Alessandro Facchini.
  • "Forest Algebras, Part I", par Alessandro Facchini.
  • "A Wadge-type order for Borel functions? The continuous case. Part II.", par Raphaël Carroy.
  • "A topological approach to recognition - étude d'un article de Gehrke, Grigorieff et Pin, Part I", par Yann Pequignot.
  • "Ill-foundedness of the Wadge order for the real line.", par Kevin Fournier.
  • "A Wadge-type order for Borel functions? The continuous case. Part I.", par Raphaël Carroy.
  • "Free profinite monoids and free objects", par Yann Pequignot.
  • "Introduction à la hiérarchie de Wadge", par Kevin Fournier.
  • "Hiérarchie de Wagner, un indicateur de l'expressivité des automates?", par Jérémie Cabessa.
  • "Jayne-Rogers, une nouvelle preuve courte et élégante", par Raphaël Carroy.

Contact: Yann.Pequignot[at]unil.ch
Rechercher:
 
 
Internef - CH-1015 Lausanne - Suisse - Tél. +41 21 692 33 00 - Fax +41 21 692 33 05