Vous êtes ici: UNIL > HEC Inst. > HEC App. > LOGIQUE > recent_news > Logic Seminar
Français | English

Logic Seminar

Next seminar: Wed. 04/05/2017
 
            "On Quasi-Polish Spaces (2)" by Louis Vuilleumier.

Past Seminars:
  •  "On Quasi-Polish Spaces (1)" by Louis Vuilleumier.
  • "A Marriage of Brouwer's Intuitionism and Hilbert's Finitism" par Kentaro Sato.
  • "Recent problems on determinacy of Wadge classes in second order arithmetic" par Takako Nemoto (JAIST).
  • "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