You are here: MIMS > EPrints
MIMS EPrints

2010.7: Towards Computability over Effectively Enumerable Topological Spaces

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

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
268 Kb

DOI: 10.1016/j.entcs.2008.12.011

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 2000 > 03 Mathematical logic and foundations
MSC 2000 > 68 Computer science
MIMS number:2010.7
Deposited By:Dr Margarita Korovina
Deposited On:08 January 2010

Download Statistics: last 4 weeks
Repository Staff Only: edit this item