UNPROCESSED (anon cache)

Séminaire des doctorants

• "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.