Sequential Computability of a Function. Effective Fine Space and Limiting Recursion
| dc.creator | Yasugi,Mariko | |
| dc.creator | Tsujii,Yoshiki | |
| dc.creator | Mori,Takakazu | |
| dc.date | 2005 | |
| dc.date.accessioned | 2024-02-06T12:54:05Z | |
| dc.date.available | 2024-02-06T12:54:05Z | |
| dc.description | We consider real sequences in I = [0, 1) and real functions on I. It is first shown that, as for real sequences from I, R-computability (computability with respect to the Euclidean topology) implies “ weak Fine-computability.” Using this result, we show that “ Finesequential computability” and “ -sequential computability” are equivalent for effectively locally Fine-continuous functions as well as for Fine-continuous functions. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-011-12-2179 | |
| dc.identifier | https://lib.jucs.org/article/28552/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8916 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 11(12): 2179-2191 | |
| dc.subject | Effective Fine Space | |
| dc.subject | Weakly Fine-computable Sequence | |
| dc.subject | Fine-sequential Computability of a Function | |
| dc.subject | Effective Fine-continuous Function | |
| dc.subject | Limiting Recursion | |
| dc.title | Sequential Computability of a Function. Effective Fine Space and Limiting Recursion | |
| dc.type | Research Article |