We prove that a metric space may be realized as the set of maximal elements in a continuous dcpo if and only if it is completely metrizable by showing more generally that the space of maximal elements in a domain is always complete in a sense first introduced by Choquet.

This paper sets two goals. The first is to present algebraists with a purely order-theoretic derivation of the adjunction between the category DCPO of DCPOs (directed complete posets) and the category Frm of frames. This adjunction restricts to several Stone-type dualities which are well-known and of considerable interest to computer scientists. The second goal is to describe the object classes...

Synopsis. We introduce a domain-theoretic foundation for disjunctive logic programming. This foundation is built on clausal logic, a representation of the Smyth powerdomain of a coherent algebraic dcpo. The robustness of this approach comes from the agreement bewteen the declarative semantics and the xed-point semantics, as well as the agreement between the xed-point semantics and the semantics...

We construct an approximating chain of simple valuations on the upper space of a compact metric space whose lub is a given probability measure on the metric space. We show that whenever a separable metric space is homeomorphic to a G subset of an !-continuous dcpo equipped with its Scott topology, then the space of probability measures of the metric space equipped with the weak topology is home...

PURPOSE To evaluate in suspected and glaucomatous patients the correlation between central corneal thickness (CCT) and intraocular pressure (IOP), measured during the daily curve of intraocular pressure (DCPo), including CCT and IOP measurements in bed at 6 am. The ocular axial length was also compared. METHODS 114 eyes from 73 patients, 30 eyes suspected of glaucoma (group I) and 84 eyes wit...

3 Cpo.v: Speci cation and properties of a cpo 7 3.1 Ordered type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.1.1 Associated equality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.1.2 Setoid relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.1.3 Dual order . ...

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible, (2) directed subsets (which of fundamental status in domain theory) of a poset are exactly its Alexandroff irreducible sets, (3) directed subsets (with respe...

Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...

We construct a complete lattice Z such that the binary supremum function sup : Z × Z → Z is discontinuous with respect to the product topology on Z × Z of the Scott topologies on each copy of Z. In addition, we show that bounded completeness of a complete lattice Z is in general not inherited by the dcpo C(X,Z) of continuous functions from X to Z where X may be any topological space and where o...

in this paper, the definition of meet-continuity on $l$-directedcomplete posets (for short, $l$-dcpos) is introduced. as ageneralization of meet-continuity on crisp dcpos, meet-continuity on$l$-dcpos, based on the generalized scott topology, ischaracterized. in particular, it is shown that every continuous$l$-dcpo is meet-continuous and $l$-continuous retracts ofmeet-continuous $l$-dcpos are al...