Erné, M.: Web spaces and worldwide web spaces: Topological aspects of domain theory. In: Logical Methods in Computer Science 15 (2019), Nr. 1, S. 23:1-23:38. DOI: https://doi.org/10.23638/LMCS-15(1:23)2019
Abstract: | |
Web spaces, wide web spaces and worldwide web spaces (alias C-spaces) provide useful generalizations of continuous domains. We present new characterizations of such spaces and their patch spaces, obtained by joining the original topology with a second topology having the dual specialization order; these patch spaces possess good convexity and separation properties and determine the original web spaces. The category of C-spaces is concretely isomorphic to the category of fan spaces; these are certain quasi-ordered spaces having neighborhood bases of fans, where a fan is obtained by deleting a finite number of principal dual ideals from a principal dual ideal. Our approach has useful consequences for domain theory, because the T0 web spaces are exactly the generalized Scott spaces associated with locally approximating ideal extensions, and the T0 C-spaces are exactly the generalized Scott spaces associated with globally approximating and interpolating ideal extensions. The characterization of continuous lattices as meet-continuous lattices with T2 Lawson topology and the Fundamental Theorem of Compact Semilattices are extended to non-complete posets. Finally, cardinal invariants like density and weight of the involved objects are investigated. © 2019 Marcel Erné. All rights reserved. | |
License of this version: | CC BY 4.0 Unported |
Document Type: | Article |
Publishing status: | publishedVersion |
Issue Date: | 2019 |
Appears in Collections: | Fakultät für Mathematik und Physik |
pos. | country | downloads | ||
---|---|---|---|---|
total | perc. | |||
1 | Germany | 25 | 45.45% | |
2 | United States | 20 | 36.36% | |
3 | China | 6 | 10.91% | |
4 | Taiwan | 1 | 1.82% | |
5 | Sweden | 1 | 1.82% | |
6 | Russian Federation | 1 | 1.82% | |
7 | France | 1 | 1.82% |
Hinweis
Zur Erhebung der Downloadstatistiken kommen entsprechend dem „COUNTER Code of Practice for e-Resources“ international anerkannte Regeln und Normen zur Anwendung. COUNTER ist eine internationale Non-Profit-Organisation, in der Bibliotheksverbände, Datenbankanbieter und Verlage gemeinsam an Standards zur Erhebung, Speicherung und Verarbeitung von Nutzungsdaten elektronischer Ressourcen arbeiten, welche so Objektivität und Vergleichbarkeit gewährleisten sollen. Es werden hierbei ausschließlich Zugriffe auf die entsprechenden Volltexte ausgewertet, keine Aufrufe der Website an sich.