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