Séminaires : Séminaire de Logique Lyon-Paris

 Equipe(s) : lm, Responsables : S. Anscombe, O. Finkel, A. Khélif, S. Rideau, T. Tsankov, A. Vignati Email des responsables : Salle : Contacter Silvain Rideau ou Alessandro Vignati Adresse : 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 Contacter Silvain Rideau ou Alessandro Vignati Adresse