Characterizing topologies with bounded complete computational models

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 202-212

  Ciesielski, Krzysztof ^a   Flagg, R C ^b   Kopperman, Ralph ^c  

^a WEST VIRGINIA UNIVERSITY   (United States)

^b UNIVERSITY OF SOUTHERN MAINE   (United States)

^c CITY COLLEGE OF NEW YORK   (United States)

Author keywords

continuous poset; Bitopological dual; Bounded continuous poset; Cocompact and cocompactly quasimefrizable space; Directed continuous poset (dcpo); Lawson topologies; Lower; Maximal point space; Polish space; Qquasiproximities; Scott; Urysohn sets

Indexed keywords

BOUNDARY CONDITIONS; CHARACTERIZATION; COMPUTATIONAL METHODS; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; SET THEORY;

Ω-CONTINUOUS POSET; BITOPOLOGICAL DUET; BOUNDED CONTINUOUS POSET; DIRECT CONTINUOUS POSET (DCPO); LAWSON TOPOLOGIES; LOWER; MAXIMAL POINT SPACE; QUASIPROXIMITIES; SCOTT; URYSOHN SETS;

TOPOLOGY;

EID: 19344374880     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80075-6     Document Type: Conference Paper

References (14)

1. Abramsky S., Jung A. Domain Theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. Vol.3:1994;1-168 Clarendon Press, Oxford
2. Ciesielski K., R. C. Flagg, and R. D. Kopperman, Polish spaces, computer approximation, and cocompact quasimetrizability, submitted. (Available at http://www.math.wvu.edu/homepages/kcies/STA/STA.html.)
3. K. Ciesielski, R. C. Flagg, and R. D. Kopperman, Characterizing topologies with bounded complete computational models, (Available at http://www.math.wvu.edu.homepages/kcies/STA/STA.html.)
4. Edalat A. Domain theory and integration. Theoret. Comput. Sci. 151:1995;163-193
5. Edalat A. Dynamical systems, measures and fractals via domain theory. Inform. and Comput. 120:1995;32-48
6. Edalat A., Heckmann R. A computational modeld dfor metric spaces. Theoret. comput. Sci. 193:1998;53-73
7. Escardó M.H. Properly injective spaces and function spaces. Topology Appl. 89:1998;75-120
8. Flagg, R.C., and R. D. Kopperman, Computational modelos for ultrametric spaces, Electronic Notes Theor. Comput. Sci. 6 (Proceedings of Math. Found. of Prog. Semantics XIII), URL:http://www.elsevier.nl/locate/entcs/volume6.html.
9. Flagg, R.C., and R. D. Kopperman, Tychonoff poset structures and auriliary relations, Papers on General Topology and Applications (Andima et. al., eds.), Ann. New York Acad. Sci. 767 (1995), 45-61.
10. Gierz G., Hofmann K.H., Keimal K., Lawson J.D., Mislove M., Scott D.S. A Compendium of Continuous Lattices. 1980;Springer-Verlag
11. Kamimura T., Tang A. Total objects of Domains. Theoret. Comput. Sci. 34:(1984;275-288
12. Kopperman R. Asymmetry and Duality in Topology. Topo0logy and Appl. 66:1995;1-39
13. Lawson J.D. Spaces of Maximal Points. Math. Structures Comput. Sci. 7:1997;543-555
14. Salbany S., "Bitopological Spaces," Math. Monographs, University of Cape Town 1, 1974.