Premium
Normal Domain Representations of Topological Spaces
Author(s) -
Rummelhoff Ivar
Publication year - 2001
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200108)47:3<409::aid-malq409>3.0.co;2-l
Subject(s) - mathematics , topological space , domain (mathematical analysis) , equivalence relation , space (punctuation) , equivalence (formal languages) , pure mathematics , relation (database) , topology (electrical circuits) , combinatorics , mathematical analysis , computer science , data mining , operating system
D ′ ⊆ D is a normal totality on a Scott domain D if it is upward closed and x ⊓ y ∈ D ′ is an equivalence relation on D ′. We prove that every topological space can be represented by a domain with norma totality.