# Séminaires : Séminaire Général de Logique

 Equipe(s) : lm, Responsables : S. Anscombe, A. Khélif, A. Vignati Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr Salle : 1013 Adresse : Sophie Germain Description

 Orateur(s) Matthew de Brecht - Kyoto University, Titre Quasi-Polish spaces as spaces of ideals, with applications to computable topology Date 27/01/2021 Horaire 14:00 à 15:15 Diffusion Résume We give a brief introduction to quasi-Polish spaces, which are a class of well-behaved countably based $T_0$-spaces that generalize both Polish spaces and $\omega$-continuous domains. We then present more recent results on a characterization of quasi-Polish spaces as spaces of ideals of a transitive relation on a countable set, and investigate some applications of this characterization to computable topology. Salle 1013 Adresse Sophie Germain