Articles
The Constructive Maximal Point Space

https://doi.org/10.1016/S1571-0661(04)80773-4Get rights and content
Under a Creative Commons license
open access

Abstract

We argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in the study of maximal point spaces, and related questions in quantitative domain theory.

Cited by (0)

1

Partially supported by EPSRC grant on “Digital Topology and Geometry: an Axiomatic Approach with Applications to GIS and Spatial Reasoning”.