The regular spaces with countably based models

Theoretical Computer Science

Volumn 305, Issue 1-3, 2003, Pages 299-310

  Martin, Keye ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Domain theory; Maximal elements; Models; Topology

Indexed keywords

CONVERGENCE OF NUMERICAL METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING; THEOREM PROVING;

DOMAIN THEORY;

COMPUTER SCIENCE;

EID: 0041528401     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00700-4     Document Type: Conference Paper

References (14)

1. S. Abramsky, A. Jung, Domain theory, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, Vol. III, Oxford University Press, Oxford, 1994.
2. G. Choquet, Lectures in Analysis, Vol. I, Benjamin, New York, 1969.
3. K. Ciesielski, R.C. Flagg, R. Kopperman, Characterizing topologies with bounded complete computational models, in: Proc. of MFPS XV, ENTCS, Vol. 20, 1999.
4. Edalat A. When Scott is weak on the top. Math. Struct. Comput. Sci. 7:1997;401-417.
5. Edalat A., Heckmann R. A computational model for metric spaces. Theoret. Comput. Sci. 193:1998;53-73.
6. Engelking R. General Topology. 1977;Polish Scientific Publishers, Warszawa.
7. Harrington L., Kechris A.S., Louveau A. A Glimm-Effros dichotomy for Borel equivalence relations. J. Amer. Math. Soc. 3(4):1990;903-928.
8. R. Heckmann, Domain environments, unpublished manuscript.
9. Kechris A. Classical Descriptive Set Theory. 1994;Springer, Berlin.
10. Lawson J. Spaces of maximal points. Math. Struct. Comput. Sci. 7:1997;543-555.
11. K. Martin, A foundation for computation, Ph.D. Thesis, Department of Mathematics, Tulane University, 2000.
12. K. Martin, Ideal models of spaces, Theoret. Comput. Sci., to appear.
13. K. Martin, The measurement process in domain theory, in: Proc. 27th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Vol. 1853, Springer, Berlin, 2000.
14. K. Martin, in: The Space of Maximal Elements in a Compact Domain, Electronic Notes in Theoretical Computer Science, Vol. 40, 2000.