Scott Domains in Abstract Stone Duality

This is part of the core theory of Abstract Stone Duality for locally compact spaces.

Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems construction from first principles, to obtain a cartesian closed full subcategory in abstract Stone duality. The necessary and sufficient condition for overtness is that the consistency predicate be decidable. We also construct the halting set: an open subspace of N that is not closed.

Download the paper to print it

PDF,  DVI,  compressed PostScript  or  A5 booklet.

Table of contents

1. Introduction

2. Encoding predicates on N

3. Algebraic lattices

4. Total and partial functions

5. Scott domains

6. Function spaces of Scott domains

7. Untyped λ-calculus and recursive enumeration

8. Partial, discardable and copyable maps

References

This document was translated from L^AT_EX by H^EV^EA.