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 0dimensional 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 0dimensional 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), AixMarseille 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 0dimensional 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 wellsuited 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 Wadgetype order for Borel functions? The continuous case.

Groupe de travail en théorie descriptive des ensembles.
Equipe d'analyse fonctionnelle, IMJPRG, 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 JayneRogers 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 betterquasiorder (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 XIXXXè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 quasiorder for continuous functions.
 January 11th, 2013: Introduction and definitions.
 January 18th, 2013: First properties, the CantorBendixson 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.
 FebruaryMarch 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: NashWilliams' 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 0dimensional spaces.
 March, 7th 2013: Every supersequence in the Cantor space contains a Cauchy subsupersequence.
 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  SaintRaymond's theorem on Ctrees and preserving bqos.
 April 5th, 2013: Proof of Louveau  SaintRaymond's theorem on Ctrees and preserving bqos.
 AprilMay 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 JayneRogers 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