Formal topological characterizations of various continuous domains

DOI10.1016/J.CAMWA.2007.12.010zbMath1155.54334OpenAlexW2077869556MaRDI QIDQ1004687

Luoshan Xu, Xuxin Mao

Publication date: 12 March 2009

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2007.12.010

zbMATH Keywords

continuous domainL-domain(quasi-)formal pointBC-domainlocally super-coherent topologyquasi-base

Mathematics Subject Classification ID

Topological lattices, etc. (topological aspects) (54H12)

Related Items (3)

Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ On the spectra of commutative semigroups ⋮ Weak algebraic information systems and a new equivalent category of DOM of domains

Cites Work

• The modal logic of provability. The sequential approach
• Topology, domain theory and theoretical computer science
• Posets having continuous intervals
• When does the class \([{\mathcal A} \longrightarrow {\mathcal B}\) consist of continuous domains?]
• Continuity of posets via Scott topology and sobrification
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal topological characterizations of various continuous domains