As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF = PCF + pif (parallel if). Here we will present ...

A model of a space X is simply a continuous dcpo D and a homeomorphism : X ! max D, where max D is given its inherited Scott topology. We show that a space has a coherent model ii it has a Scott domain model and investigate the topological structure of spaces which have G models.

Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the process of recovering a discrete poset from its algebraic dcpo (ideal completion).

As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not ω-complete and therefore not continuous in the traditional terminology (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF ...

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...

The power set of a domain D can be seen as the function space D ! 2 of all functions in the pointwise order. One computational version thereof is the lifted lower powerdomain, which we can think of as the lattice of Scott-closed subsets or, alternatively, as the order dual of the function space D ! 2]. Therefore, logic and the ordinary power set, as well as its information-theoretic version, re...

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...