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

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Matthew de Brecht - Kyoto University,
Titre Quasi-Polish spaces as spaces of ideals, with applications to computable topology
Date27/01/2021
Horaire14:00 à 15:15
Diffusion
RésumeWe 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.
SalleContacter Silvain Rideau ou Alessandro Vignati
Adresse
© IMJ-PRG