A characterization of effective topological spaces II
Dieter Spreen · 1991
Abstract Starting with Scott’s work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan ‘open sets are s-emi- decidable properties’. But whereas on Scott domains all such properties are also open, this is no longer true in general.