On effective topological spaces

Journal of Symbolic Logic 63 (1):185-221 (1998)
Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical Rice-Shapiro Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586596
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 21,357
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Ulrich Berger (1993). Total Sets and Objects in Domain Theory. Annals of Pure and Applied Logic 60 (2):91-117.
Ju L. Eršov (1973). Theorie der Numerierungen I. Mathematical Logic Quarterly 19 (19‐25):289-388.
J. U. L. Eršov (1975). Theorie der Numerierungen II. Mathematical Logic Quarterly 21 (1):473-584.
J. Myhill & J. C. Shepherdson (1955). Effective Operations on Partial Recursive Functions. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):310-317.

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

198 ( #16,602 of 1,911,320 )

Recent downloads (6 months)

41 ( #18,886 of 1,911,320 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.