Essential and density topologies of continuous domains

DOI10.1016/J.APAL.2016.04.014MaRDI QIDQ290633zbMATH OpenOpenAlexWikidataFDO

Authors Dănuţ Rusu, Gabriel Ciobanu

Publication date 3 June 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2016.04.014

zbMATH Keywords

basisdensitydomain theorytopology

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Generalizations of lattices (06B75) Ordered topological structures (06F30) Other topological algebraic systems and their representations (22A30) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Topological lattices, etc. (topological aspects) (54H12)

Review text

Let \((X,\leq)\) be a directed complete partially ordered set (dcpo). For \(x,y\in X\) write \(x\ll y\) if for each directed \(A\subset X\) with \(y\leq\sup A\) there is \(a\in A\) such that \(x\leq a\), and for \(U\subset X\) write \(\downdownarrows U=\{x\in X\;/\;x\ll u \text{ for some } u\in U\}\). A set \(U\subset X\) is e-open if \(\downdownarrows U\subset U\). The family \(\tau_e\) of e-open subsets forms an Alexandrov topology on \(X\). Properties of \(\tau_e\) and the smallest common refinement of the Scott topology and \(\tau_e\), \(\rho_X\), are studied. If \(X\) is a continuous domain then bases of \(X\) correspond to dense sets with respect to \(\rho_X\).

Recommendations

• scientific article; zbMATH DE number 1839726
• Formal topological characterizations of various continuous domains
• Essential and density topologies on s₂-continuous posets
• The measurement topology and the density topology of posets
• Character and density on locally continuous domains

Cites work

• A computational model for metric spaces
• Algebraic and topological properties of apartness lattice-ordered semigroups
• Chain-complete posets and directed sets with applications
• Computable Banach spaces via domain theory
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• Supermetrics over Apartness Lattice-Ordered Semigroup

Cited in

(8)

• Formal topological characterizations of various continuous domains
• Continuity in the density topology. II
• Solutions to two problems of J. D. Lawson and M. Mislove
• A logic for Lawson compact algebraic L-domains
• Characterizations of supercontinuous posets via Scott S-sets and the S-essential topology
• Character and density on locally continuous domains
• Essential and density topologies on s₂-continuous posets
• The measurement topology and the density topology of posets

This page was built for publication: Essential and density topologies of continuous domains

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