Towards Computability over Effectively Enumerable Topological Spaces

Korovina, Margarita and Kudinov, Oleg (2008) Towards Computability over Effectively Enumerable Topological Spaces. Electronic Notes in Theoretical Computer Science, 221. pp. 115-125. ISSN 1571-0661

[thumbnail of entcs_08_korkud.pdf] PDF
entcs_08_korkud.pdf

Download (274kB)

Abstract

In this paper we study different approaches to computability over effectively enumerable topological spaces. We introduce and investigate the notions of computable function, strongly-computable function and weakly-computable function. Under natural assumptions on effectively enumerable topological spaces the notions of computability and weakly-computability coincide.

Item Type: Article
Uncontrolled Keywords: CICADA,,omputably enumerable topological space, computability, effective continuity
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations
MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science
Depositing User: Dr Margarita Korovina
Date Deposited: 08 Jan 2010
Last Modified: 20 Oct 2017 14:12
URI: https://eprints.maths.manchester.ac.uk/id/eprint/1384

Actions (login required)

View Item View Item