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

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