The constructive maximal point space and partial metrizability

We argue that constructive maximality [P. Martin-Löf, Notes on Constructive Mathematics, Almqvist and Wicksell, Stockholm, 1970] can with advantage be employed in the study of maximal point spaces, and related questions in quantitative domain theory. The main result concerns partial metrizability of ω -continuous domains.