Spaces of maximal points

JIMMIE LAWSON

doi:10.1017/S0960129597002363

Abstract

This paper shows that it is precisely the complete metrizable separable metric spaces that can be realized as the set of maximal points of an ω-continuous dcpo, where the set of maximal points is topologized with the relative Scott topology.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Edalat, Abbas 1997. Domains for Computation in Mathematics, Physics and Exact Real Arithmetic. Bulletin of Symbolic Logic, Vol. 3, Issue. 4, p. 401.

Martin, Keye 1998. Domain theoretic models of topological spaces. Electronic Notes in Theoretical Computer Science, Vol. 13, Issue. , p. 173.

Edalat, Abbas and Heckmann, Reinhold 1998. A computational model for metric spaces. Theoretical Computer Science, Vol. 193, Issue. 1-2, p. 53.

Rutten, J.J.M.M. 1998. Weighted colimits and formal balls in generalized metric spaces. Topology and its Applications, Vol. 89, Issue. 1-2, p. 179.

Escardó, Martín Hötzel 1998. Properly injective spaces and function spaces. Topology and its Applications, Vol. 89, Issue. 1-2, p. 75.

Edalat, Abbas and Negri, Sara 1998. The generalized Riemann integral on locally compact spaces. Topology and its Applications, Vol. 89, Issue. 1-2, p. 121.

Mislove, Michael 1998. Foundations of Software Science and Computation Structures. Vol. 1378, Issue. , p. 1.

Lawson, Jimmie 1998. Computation on metric spaces via domain theory. Topology and its Applications, Vol. 85, Issue. 1-3, p. 247.

Ciesielski, Krzysztof Flagg, R.C. and Kopperman, Ralph 1999. Characterizing Topologies With Bounded Complete Computational Models. Electronic Notes in Theoretical Computer Science, Vol. 20, Issue. , p. 202.

Howroyd, J. D. 2000. A Domain-Theoretic Approach to Integration in Hausdorff Spaces. LMS Journal of Computation and Mathematics, Vol. 3, Issue. , p. 229.

Desharnais, J. Jagadeesan, R. Gupta, V. and Panangaden, P. 2000. Approximating labeled Markov processes. p. 95.

Sünderhauf, Philipp 2000. Continuous Domains and Banach Spaces. Electronic Notes in Theoretical Computer Science, Vol. 24, Issue. , p. 64.

Martin, Keye 2001. The space of maximal elements in a compact domain. Electronic Notes in Theoretical Computer Science, Vol. 40, Issue. , p. 244.

Spreen, Dieter 2001. Can partial indexings be totalized?. Journal of Symbolic Logic, Vol. 66, Issue. 3, p. 1157.

Escardó, Martín H. 2002. Function-space compactifications of function spaces. Topology and its Applications, Vol. 120, Issue. 3, p. 441.

Martin, Keye Mislove, M.W. and Reed, G.M. 2002. Recent Progress in General Topology II. p. 371.

Edalat, A. and Lieutier, A. 2002. Domain theory and differential calculus (functions of one variable). p. 277.

Ciesielski, Krzysztof Flagg, Bob and Kopperman, Ralph 2002. Polish spaces, computable approximations, and bitopological spaces. Topology and its Applications, Vol. 119, Issue. 3, p. 241.

Alvarez-Manilla, Mauricio 2002. Extension of valuations on locally compact sober spaces. Topology and its Applications, Vol. 124, Issue. 3, p. 397.

Kegelmann, Mathias 2002. Continuous Domains in Logical Form1 1A thesis submitted to The University of Birmingham for the degree of Doctor of Philosophy, June 1999.. Electronic Notes in Theoretical Computer Science, Vol. 49, Issue. , p. 1.

Download full list

Article contents

Spaces of maximal points

Abstract

Access options

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

Spaces of maximal points

Abstract

Access options

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests