Moschovakis Extension of Represented Spaces
Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric spaces). Some results are presented about TTE computability in th...
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Logical Methods in Computer Science e.V.
2019-03-01
|
| Colecção: | Logical Methods in Computer Science |
| Assuntos: | |
| Acesso em linha: | https://lmcs.episciences.org/4254/pdf |
| _version_ | 1827322813736812544 |
|---|---|
| author | Dimiter Skordev |
| author_facet | Dimiter Skordev |
| author_sort | Dimiter Skordev |
| collection | DOAJ |
| description | Given a represented space (in the sense of TTE theory), an appropriate
representation is constructed for the Moschovakis extension of its carrier
(with paying attention to the cases of effective topological spaces and
effective metric spaces). Some results are presented about TTE computability in
the represented space obtained in this way. For single-valued functions, we
prove, roughly speaking, the computability of any function which is absolutely
prime computable in some computable functions. A similar result holds for
multi-valued functions, but with an analog of absolute prime computability. The
formulation of this result makes use of the notion of computability in
iterative combinatory spaces - a notion studied by the author in other
publications. |
| first_indexed | 2024-04-25T01:34:44Z |
| format | Article |
| id | doaj.art-a8a33c20cf6d4d7c8eae6a1ed8a622a4 |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:34:44Z |
| publishDate | 2019-03-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-a8a33c20cf6d4d7c8eae6a1ed8a622a42024-03-08T10:27:56ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742019-03-01Volume 15, Issue 110.23638/LMCS-15(1:35)20194254Moschovakis Extension of Represented SpacesDimiter SkordevGiven a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric spaces). Some results are presented about TTE computability in the represented space obtained in this way. For single-valued functions, we prove, roughly speaking, the computability of any function which is absolutely prime computable in some computable functions. A similar result holds for multi-valued functions, but with an analog of absolute prime computability. The formulation of this result makes use of the notion of computability in iterative combinatory spaces - a notion studied by the author in other publications.https://lmcs.episciences.org/4254/pdfmathematics - logic03d60, 03d75, 03d78 |
| spellingShingle | Dimiter Skordev Moschovakis Extension of Represented Spaces Logical Methods in Computer Science mathematics - logic 03d60, 03d75, 03d78 |
| title | Moschovakis Extension of Represented Spaces |
| title_full | Moschovakis Extension of Represented Spaces |
| title_fullStr | Moschovakis Extension of Represented Spaces |
| title_full_unstemmed | Moschovakis Extension of Represented Spaces |
| title_short | Moschovakis Extension of Represented Spaces |
| title_sort | moschovakis extension of represented spaces |
| topic | mathematics - logic 03d60, 03d75, 03d78 |
| url | https://lmcs.episciences.org/4254/pdf |
| work_keys_str_mv | AT dimiterskordev moschovakisextensionofrepresentedspaces |