Page de Raphaël Carroy - Conférences

Avertissement: Les fichiers mis à disposition sur cette page sont pour la plupart en anglais.

Exposés avec projection

Rencontre Annuelle de la Societé Suisse de Logique et Philosophie des Sciences (SSLPS) Université de Lausanne, Suisse
20 Novembre 2015 (durée 50 min): Classifying functions between 0-dimensional Polish spaces (slides)
XX Congresso dell'Unione Matematica Italiana Siena, Italie
8 Septembre 2015 (durée 15 min): Ordering functions (slides)
Oberseminar. Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik, Universität Münster, Allemagne
26 Mai 2014 (durée 90 min): From well to better: the space of ideals (slides)
Séminaire général de logique. Université Paris 7 - Denis Diderot, France
10 Mars 2014 (durée 1 h): Classification de fonctions continues entre espaces polonais 0-dimensionels (slides)
Winter school in abstract analysis. Hejnice, République Tchèque
26 Janvier 2014 (durée 30 min): Ordonner des fonctions (slides)
Rencontre de logique et cosmologie. Centre de Physique des Particules de Marseille (CPPM), Université Aix-Marseille, France
16 Octobre 2013 (durée 1 h): Introduction à la logique du premier ordre (slides)
Soutenance de thèse. Université de Lausanne (UNIL), Suisse
25 Juillet 2013 (durée 30 min): Fonctions de première classe de Baire (slides)
Seminario di logica. Dipartimento di Matematica e Informatica, Università di Udine, Italia.
16 Avril 2013 (durée 2 h): Quelques questions autour des fonctions continues entre espaces 0-dimensionels (slides).
PhD's in Logic III. Bruxelles, Belgique
27 Février 2011 (durée 20 min): Décomposer les fonctions classe de Baire 1 (slides).
Graduate seminar: Logic and information. Institut für Informatik und angewandte Mathematik, Universität Bern, Suisse.
(durée 20 min)
  • 27 Novembre 2008: Voir les fonctions comme des stratégies dans des jeux adaptés (slides)
  • 27 Avril 2010: Décomposer les fonctions classe de Baire 1 (slides)

Interventions en séminaire, au tableau noir

Séminaire des doctorants de logique. Groupe de logique mathématique, Institut des systèmes d'information (ISI), UNIL, Suisse.
(durée 2 h)
  • Septembre 2010: Décomposer les fonctions classe de Baire 1.
  • Octobre 2010: Une preuve ineffective du Théorème de Silver, sans forcer ni utiliser l'axiome des parties, d'après Ben Miller.
  • Novembre 2010: Un ordre à la Wadge pour les fonctions boréliennes? Le cas continu.
Groupe de travail en théorie descriptive des ensembles. Equipe d'analyse fonctionnelle, IMJ-PRG, Université Paris 6 - UPMC, France.
(durée >2 h)
  • 5 Avril 2011: Fonctions de première classe et discontinuités, en lien avec le travail de B.Semmes et le Théorème de Jayne-Rogers.
  • 3 et 17 Mai 2011: Etude d'une notion de réduction pour les fonctions - le cas des fonctions continues à domaine compact.
  • Novembre 2011: Série sur L'ordre de plongement entre fermés.
    • 15 Novembre 2011: Introduction aux meilleurs quasi-ordres (bqo).
    • 22 Novembre 2011: La conjecture de Fraïssé et le Théorème de Laver.
    • 29 Novembre 2011: L'ordre de plongement entre fermés.
  • 25 juin 2013: Jouer dans la première classe de Baire.
  • 18 mars 2014: Epimorphismes d'ordres totaux (travail commun avec R.Camerlo et A. Marcone)
  • 3 Novembre 2015: Ordres totaux fortement surjectifs (Travail commun avec R.Camerlo et A.Marcone)
Groupe de travail "Philosophie et Mathématiques XIX-XXèmes siècles". Laboratoire SHERE, Université Paris 7 - Denis Diderot, France.
18 Octobre 2013 (durée 3h): Introduction à la théorie descriptive des ensembles
Seminari di teoria descrittiva degli insiemi. Dipartimento di Matematica "Giuseppe Peano", Università degli studi di Torino, Italia.
(durée 2h)
  • Janvier 2013: Série sur A quasi-order for continuous functions.
    • 11 Janvier: Introduction et définitions.
    • 16 Janvier: Premières propriétés, le rang de Cantor-Bendixson d'une fonction.
    • 23 Janvier: Le Lemme de Décomposition, Opérations sur les ensembles.
    • 29 Janvier: Opérations sur les fonctions, le Lemme de Réduction, analyse complète des fonctions à domaine compact.
    • 7 Février; Un théorème général de structure et quelques conséquences.
  • Février-Mars 2013: Série sur From well to better, the space of ideal.
    • 14 Février: BQO: la version de Simpson, le Minimal Bad Array Lemma, ON préserve les bqo.
    • 21 Février: BQO: la version de Nash-Williams, fronts, barrières et supersuites, le Théorème de Ramsey pour les fronts.
    • 28 Février: Clôture d'un front dans Cantor, Uniformités sur les espaces compacts Hausdorff 0-dimensionnels.
    • 7 Mars: Toute supersuite dans Cantor contient une sous-supersuite de Cauchy.
    • 15 Mars: L'espace des idéaux d'un wqo, l'astuce de Rado, un wqo dont les idéaux sont bqo est lui-même bqo.
    • 22 Mars: Introduction au Théorème de Louveau - Saint-Raymond sur les C-arbres et la préservation des bqos.
    • 5 Avril: Preuve du Théorème de Louveau - Saint-Raymond sur les C-arbres et la préservation des bqos.
  • Avril-Mai 2013: Série sur Playing in the first Baire class.
    • 12 Avril: Introduction au jeux de réduction et à la première classe de Baire, analyse complète du jeu de Wadge pour les fonctions.
    • 19 Avril: Le jeu avec effaceurs caratérise la première classe de Baire, définition des discontinuités.
    • 24 Avril: Etude des discontinuités, détermination du jeu avec effaceurs en nombre borné. (double séance)
    • 3 Mai: Détermination du jeu avec effaceurs.
    • 15 Mai: Détermination du jeu avec effaceurs en nombre fini.
    • 24 Mai: Stratégies fiables.
    • 29 Mai: Le Théorème de Jayne-Rogers.
Oberseminar. Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik, Universität Münster, Allemagne
26 Avril 2014 (durée 90 min): Introduction à la théorie des bqo: la preuve de la conjecture de Fraïssé selon Laver.
Workshop on Wadge theory and Automata. Dipartimento di Matematica "Giuseppe Peano", Università degli studi di Torino, Italia.
27 Janvier 2015 (durée 3 h): Sur la théorie des automates. (Quelques notes manuscrites, en anglais)
P.O.I. Workshop in Pure and Descriptive Set Theory Università di Torino, Torino, Italie
25 Septembre 2015 (duré 60 min): Epimorphisms between linear orders
Séminaire de Mécanique Céleste Università di Torino, Torino, Italie
17 Novembre 2015 (durée 2 h): Logique & Mécanique Céleste