Quasi-Polish spaces as rounded ideal completions

This month, a pearl by Matthew de Brecht. It is known that the rounded ideal completion of an abstract basis (a set B with a transitive, interpolative relation) is a continuous dcpo, and that all continuous dcpos can be obtained this way. What do you get if you remove the requirement of interpolation? Well, and assuming B countable… exactly the quasi-Polish spaces! Read the full post.