Normal domain representations of topological spaces

From MaRDI portal





In this paper Scott domains are considered, i.e. consistent algebraic orders with a least element. The line pursued here is based on the fact that extensional equality corresponds to the meet of two elements being total. This approach has the advantage that it can be adapted to situations where the total elements are not dense. It is proved that every topological space can be represented by a domain with normal totality.











This page was built for publication: Normal domain representations of topological spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2743651)