Abstract
Purchase PDF (212 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (0)
Purchase PDF (321 K)
doi:10.1016/j.tcs.2006.03.021 
Copyright © 2006 Elsevier B.V. All rights reserved.
On the computational content of the Lawson topology
Available online 21 April 2006.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
An element of an effectively given domain is computable iff its basic Scott open neighbourhoods are recursively enumerable. We thus refer to computable elements as Scott computable and define an element to be Lawson computable if its basic Lawson open neighbourhoods are recursively enumerable. Since the Lawson topology is finer than the Scott topology, a stronger notion of computability is obtained. For example, in the powerset of the natural numbers with its standard effective presentation, an element is Scott computable iff it is a recursively enumerable set, and it is Lawson computable iff it is a recursive set. Among other examples, we consider the upper powerdomain of Euclidean space, for which we prove that Scott and Lawson computability coincide with two notions of computability for compact sets recently proposed by Brattka and Weihrauch in the framework of type-two recursion theory.
Keywords: Effectively given domains; Computable real number; Computable compact set; Computability in Euclidean space; Scott topology; Lawson topology; Vietoris topology; Power
