Raphaël Carroy's Webpage - Talks

Talks with slides

Swiss Society for Logic and Philosophy of Science (SSLPS) Annual Meeting University of Lausanne, Switzerland
November 20th, 2015 (length 50 min): Classifying functions between 0-dimensional Polish spaces (slides)
XX Congresso dell'Unione Matematica Italiana Siena, Italy
September 8th, 2015 (length 15 min): Ordering functions (slides)
Oberseminar Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik der Universität Münster, Germany
May 26th, 2014 (length 90 min): From well to better: the space of ideals (slides)
Séminaire général de logique University Paris 7 - Denis Diderot, France
March 10th, 2014 (length 1 h): Classifying continuous functions between 0-dimensional Polish spaces (slides)
Winter school in abstract analysis Hejnice, Czech Republic
January 26th, 2014 (length 30 min): Ordering functions (slides)
Meeting on Logic and Cosmology Center for Particle Physics of Marseilles (CPPM), Aix-Marseille University, France
October 16th, 2013 (length 1 h): Crash course in First Order Logic (slides)
PhD Defense University of Lausanne (UNIL), Switzerland
July 25th, 2013 (length 30 min): Functions of the first Baire class (slides)
Seminario di logica. Dipartimento di Matematica e Informatica, Università di Udine, Italia.
April 16th, 2013 (length 2 h): Some questions revolving around continuous functions between 0-dimensional spaces (slides).
PhD's in Logic III Brussels, Belgium.
February 27th, 2011 (length 20 min): Decomposing Baire class one functions (slides).
Graduate seminar: Logic and information. Institut für Informatik und angewandte Mathematik, Universität Bern, Switzerland.
(length 20 min)
  • November 27th, 2008: Functions as strategies in well-suited games (slides)
  • April 27th, 2010: Decomposing Baire class one functions (slides)

Talks on blackboard

Séminaire des doctorants de logique. Groupe de logique mathématique, Institut des systèmes d'information (ISI), UNIL, Suisse.
(length 2 h)
  • September 2010: Decomposing Baire class one functions
  • October 2010: Ben Miller's forceless, ineffective and powerless proof of Silver's theorem
  • November 2010: A Wadge-type order for Borel functions? The continuous case.
Groupe de travail en théorie descriptive des ensembles. Equipe d'analyse fonctionnelle, IMJ-PRG, Université Paris 6 - UPMC, France.
(length >2 h)
  • April 5th, 2011: Functions of the first class and discontinuities, related to the work of B.Semmes and the Jayne-Rogers Theorem.
  • May 3rd and 17th, 2011: Study of a reduction notion for functions - the case of continuous functions with compact domain.
  • November 2011: Series of talk on The embedding order on closed sets.
    • November 15th, 2011: Introduction to better-quasi-order (bqo).
    • November 22nd, 2011: Fraïssé's conjecture and Laver's theorem.
    • November 29th, 2011: The embedding order on closed sets.
  • June 25th, 2013: Playing in the first Baire class
  • March 18th, 2014: Epimorphisms between linear orders (Joint work with R.Camerlo and A. Marcone)
  • November 3rd, 2015: Strongly surjective linear orders (Joint work with R.Camerlo and A.Marcone)
Groupe de travail "Philosophie et Mathématiques XIX-XXèmes siècles" Laboratoire SHERE, Université Paris 7 - Denis Diderot, France.
October 18th, 2013 (length 3h): Introduction to Descriptive set theory
Seminari di teoria descrittiva degli insiemi. Dipartimento di Matematica "Giuseppe Peano", Università degli studi di Torino, Italia.
(length 2h)
  • January 2013: Series of talks on A quasi-order for continuous functions.
    • January 11th, 2013: Introduction and definitions.
    • January 18th, 2013: First properties, the Cantor-Bendixson rank of a function.
    • January 23rd, 2013: The Decomposition Lemma, Operations on sets.
    • January 29th, 2013: Operations on Functions, the Reduction Lemma, Complete analysis of functions with compact domains.
    • February 7th, 2013; A general theorem of structure and some consequences.
  • February-March 2013: Series of talks on From well to better, the space of ideal.
    • February 12th, 2013: BQO: Simpson's version, the Minimal Bad Array Lemma, ON preserves bqo.
    • February 21st, 2013: BQO: Nash-Williams' version, fronts, barriers and supersequences, Ramsey's theorem for fronts.
    • February 28th, 2013: Closure of a front in the Cantor space, Uniformities on compact Hausdorff 0-dimensional spaces.
    • March, 7th 2013: Every supersequence in the Cantor space contains a Cauchy sub-supersequence.
    • March 15th, 2013: The space of ideals of a wqo, Rado's trick, a wqo whose ideals are bqo is itself bqo.
    • March 22nd, 2013: Introduction to Louveau - Saint-Raymond's theorem on C-trees and preserving bqos.
    • April 5th, 2013: Proof of Louveau - Saint-Raymond's theorem on C-trees and preserving bqos.
  • April-May 2013: Series of talks on Playing in the first Baire class.
    • April 12th, 2013: Introduction reduction games and the first Baire class, complete analysis of the Wadge game for functions.
    • April 19th, 2013: The eraser game characterises the first Baire class, definition of discontinuities.
    • April 24th, 2013: Study of discontinuities, determinacy of the bounded backtrack game. (double talk)
    • May 3rd, 2013: Determinacy of the eraser game.
    • May 15th, 2013: Determinacy of the backtrack game.
    • May 24th, 2013: Trustworthy strategies.
    • May 29th, 2013: The Jayne-Rogers Theorem.
Oberseminar Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik der Universität Münster, Germany
April 26th, 2014 (length 90 min): An introduction to bqo theory: Laver's proof of Fraïssé's conjecture.
Workshop on Wadge theory and Automata. Dipartimento di Matematica "Giuseppe Peano", Università degli studi di Torino, Italia.
January 27th, 2015 (length 3 h): On automata theory. (Some handwritten notes)
P.O.I. Workshop in Pure and Descriptive Set Theory Università di Torino, Torino, Italie
September 25th, 2015 (length 60 min): Epimorphisms between linear orders
Celestial Mechanics Seminar Università di Torino, Torino, Italie
November 17th, 2015 (length 2 h): Logic & Celestial Mechanics