| Orateur(s)|| Matthew de Brecht - Kyoto University,
| Titre ||Quasi-Polish spaces as spaces of ideals, with applications to computable topology|
| 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.|