Some notes on spaces of ideals and computable topology

Matthew de Brecht

We show some basic results on the characterization of quasi-Polish spaces in terms of spaces of ideals, with an emphasis on the connections with computable topology.