Raphaël Carroy's Webpage - Talks
Home
Papers
Talks
Version francaise
Talks with slides
Joint meeting of the Italian Mathematical Union, the Italian Society of Industrial and Applied Mathematics and the Polish Mathematical Society
Set theory and topology session , Wroclaw, Poland.
September 18th, 2018 (length 35 min): The Open Graph Dichotomy and the second level of the Borel hierarchy (slides )
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
Leibniz Zentrum für Informatik, Germany.
September 7th, 2018 (length 25 min): Around finite basis results for topological embeddability between functions (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 )
Well-Quasi-Orders 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 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)
January 31st, 2017: A dichotomy for topological embeddability of continuous functions between 0-dimensional Polish spaces
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.
February 15th and 22nd, 2017: A dichotomy for topological embeddability of continuous functions between 0-dimensional Polish spaces
April 5th, 2018: Wadge theory and an application to homogeneous 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
Prag-Vienna 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