Results 1 
4 of
4
Topology, Domain Theory and Theoretical Computer Science
, 1997
"... In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates. Keywords: Domain theory, Scott topology, power domains, untyped lambda calculus Subject Classification: 06B35,06F30,18B30,68N15,68Q55 1 Introduction Topology has proved to be an essential tool for certain aspects of theoretical computer science. Conversely, the problems that arise in the computational setting have provided new and interesting stimuli for topology. These problems also have increased the interaction between topology and related areas of mathematics such as order theory and topological algebra. In this paper, we outline some of these interactions between topology and theoretical computer science, focusing on those aspects that have been mo...
ON LATTICES AND THEIR IDEAL LATTICES, AND POSETS AND THEIR IDEAL POSETS
, 2008
"... For P a poset or lattice, let Id(P) denote the poset, respectively, lattice, of upward directed downsets in P, including the empty set, and let id(P) = Id(P) − {∅}. This note obtains various results to the effect that Id(P) is always, and id(P) often, “essentially larger ” than P. In the first v ..."
Abstract
 Add to MetaCart
For P a poset or lattice, let Id(P) denote the poset, respectively, lattice, of upward directed downsets in P, including the empty set, and let id(P) = Id(P) − {∅}. This note obtains various results to the effect that Id(P) is always, and id(P) often, “essentially larger ” than P. In the first vein, we find that a poset P admits no <respecting map (and so in particular, no onetoone isotone map) from Id(P) into P, and, going the other way, that an upper semilattice S admits no semilattice homomorphism from any subsemilattice of itself onto Id(S). The slightly smaller object id(P) is known to be isomorphic to P if and only if P has ascending chain condition. This result is strengthened to say that the only posets P0 such that for every natural number n there exists a poset Pn with id n (Pn) ∼ = P0 are those having ascending chain condition. On the other hand, a wide class of cases is noted where id(P) is embeddable in P. Counterexamples are given to many variants of the statements proved.
A GRAPHTHEORETICAL GENERALIZATION OF A CANTOR THEOREM
"... Abstract. In 1962 Gleason and Dilworth found a posettheoretical generalization of the Cantor Theorem concerning the cardinality of power sets. In the present paper we prove a graphtheoretical generalization of both theorems. 0. Dilworth and Gleason have proved in [2] (see also [1, Theorem 4.6]) th ..."
Abstract
 Add to MetaCart
Abstract. In 1962 Gleason and Dilworth found a posettheoretical generalization of the Cantor Theorem concerning the cardinality of power sets. In the present paper we prove a graphtheoretical generalization of both theorems. 0. Dilworth and Gleason have proved in [2] (see also [1, Theorem 4.6]) that no order preserving map from a subset of a partially ordered set P into I(P), the set of all ideals1 of P, ordered by inclusion, is onto. Their theorem was a generalization of the wellknown Cantor Theorem concerning the cardinality of power sets. Our main purpose is to generalize the former result as follows: if P and Q are two directed graphs and Q is a reflexive nondiscrete graph with at least two elements, then no antihomomorphism from a subgraph of P into H(P, Q), is onto. Here H(P, Q) denotes the graph of all homomorphisms from P into Q considered as a subgraph of Qp, i.e. with the relation defined coordinatewise. The theorem of Dilworth and Gleason can now be obtained
By
"... I wish to thank my parents for their continuing support, encouragement and understanding. Medda, Toto, Fiete, Anemone: Thanks for visiting me in the States! My friend Vidya was always on my side and helped me out on more than one occasion. Thanks for everything! Special thanks to Professor Karl H. H ..."
Abstract
 Add to MetaCart
I wish to thank my parents for their continuing support, encouragement and understanding. Medda, Toto, Fiete, Anemone: Thanks for visiting me in the States! My friend Vidya was always on my side and helped me out on more than one occasion. Thanks for everything! Special thanks to Professor Karl H. Hofmann, who taught my first course in mathematical analysis. He introduced me to mathematics, teaching with a rigour and style which motivated me throughout my career. I would like to express my thanks to all members of the department of mathematics at Tulane, most notably my fellow graduate students, for making my stay here such a pleasant one. Martin Laubinger gave me hints regarding the requirements of the Graduate School. I used a modified version of Dmitri Alexeev's Tulane University Thesis LATEX class; the diagrams were drawn using Paul Taylor's diagrams package [22].