Some notes on spaces of ideals and computable topology

Abstract

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.