Topological games in domain theory

Topology and its Applications

Volumn 129, Issue 2, 2003, Pages 177-186

  Martin, Keye ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Domain theory; Maximal elements; Topological games

Indexed keywords

EID: 0037674859     PISSN: 01668641     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-8641(02)00147-5     Document Type: Article

References (24)

1. S. Abramsky, Total objects in domains, Unpublished notes, 1985
2. Abramsky S. Jung A. Domain theory, in: Abramsky S. Gabbay D.M. Maibaum T.S.E. (Eds.), Handbook of Logic in Computer Science III 1994 Oxford University Press Oxford
3. Alessi F. Baldan P. Honsell F. A category of compositional domain-models for separable stone spaces Theoret. Comput. Sci. 2000 to appear
4. Choquet G. Lectures in Analysis I 1969 Benjamin New York
5. Ciesielski K. Flagg R.C. Kopperman R. Characterizing topologies with bounded complete computational models Proceedings of MFPS XV ENTCS 20 1999
6. Edalat A. Domain theory and integration Theoret. Comput. Sci. 195 1995 163-193
7. Edalat A. Dynamical systems, measures and fractals via domain theory Inform. and Comput. 120 1995 32-48
8. Edalat A. When Scott is weak on the top Math. Structures Comput. Sci. 7 1997 401-417
9. Edalat A. Domains for computation in mathematics, physics and exact real arithmetic Bull. Symbolic Logic 3 4 1997 401-452
10. Edalat A. Heckmann R. A computational model for metric spaces Theoret. Comput. Sci. 193 1998 53-73
11. Engelking R. General Topology 1997 Polish Scientific Publishers Warszawa
12. Flagg B. Kopperman R. Computational models for ultrametric spaces Proceedings of MFPS XIII ENTCS 6 1997 Elsevier Science Amsterdam
13. Kamimura T. Tang A. Total objects of domains Theoret. Comput. Sci. 34 1984 275-288
14. Kechris A. Classical Descriptive Set Theory 1994 Springer-Verlag Berlin
15. Lawson J. Spaces of maximal points Math. Structures Comput. Sci. 7 1997 543-555
16. Lawson J. Computation on metric spaces via domain theory Topology Appl. 85 1998 247-263
17. Martin K. Nonclassical techniques for models of computation Topology Proceedings Summer Issue 24 1999
18. K. Martin, A foundation for computation, Ph.D. Thesis, Department of Mathematics, Tulane University, 2000
19. Martin K. The space of maximal elements in a compact domain Electronic Notes in Theoretical Computer Science 40 2001 Elsevier Science Amsterdam
20. K. Martin, The regular spaces with countably based models, Theoret. Comput. Sci., to appear
21. Mislove M. Local dcpos, local cpos and local completions Electronic Notes in Theoretical Computer Science 20 1999 Elsevier Science Amsterdam
22. Porada E. Jeu de Choquet Colloq. Math. 42 1979 345-353
23. Scott D. Domains for denotational semantics, in: Nielsen M. Schmidt E.M. (Eds.), Proceedings ICALP 1982 Lecture Notes in Comput. Sci. 140 1982 577-613 Springer-Verlag Berlin
24. Telgársky R. Topological games: on the fiftieth anniversary of the Banach-Mazur game Rocky Mountain J. Math. 17 2 1987 227-276