Raphaël Carroy's Webpage  Talks
Talks with slides

UCLA Logic Colloquium
University of California in Los Angeles, United States of America.
 February 2nd, 2018 (length 50 min): Projective homogeneous spaces and Wadge theory (slides)

XXVI Incontro dell'AILA
Orto Botanico di Padova, Italy.
 September 25th, 2017 (length 25 min): Topological embeddability between functions (slides)

SGSLPS Spring Meeting
University of Lausanne, Switzerland.
 May 29th, 2017 (length 50 min): Topological embeddability between functions (slides)

Young Set Theory Workshop
University of Copenhagen, Danemark.
 June 14th, 2016 (length 50 min): Comparing functions (slides)

WellQuasiOrders in Computer Science
Leibniz Zentum für Informatik, Schloss Dagstuhl, Germany.
 January 19th, 2016 (length 25 min): Ordering functions (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)
 January 31st, 2017: A dichotomy for topological embeddability of continuous functions between 0dimensional Polish spaces

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.
 February 15th and 22nd, 2017: A dichotomy for topological embeddability of continuous functions between 0dimensional Polish spaces

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

Oberseminar
Universität Bonn, Germany.
 July 12th, 2016 (length 1 h 30): When embeddings meet epimorphisms

PragVienna Set Theory Workshop 2016
Prag University, Czechia.
 October 17th, 2016 (length 30 min): Topological embeddability between functions

KGRC Research Seminar
Kurt Gödel Research Center, Universität Wien, Austria.
 November 3rd, 2016 (length 2 h): Linear orders: when embeddings and epimorphisms coincide

Logic Research Seminar
University of Barcelona, Spain.
 November 4th, 2016 (length 2 h): Linear orders: when embeddings and epimorphisms coincide

Descriptive Set Theory in Turin
University of Turin, Italy.
 September 6th, 2017 (length 25 min): Projective homogeneous spaces and Wadge theory