paperbot · PL 论文追踪

RSS

Moschovakis Extension of Represented Spaces

LMCS vol.Volume 15, Issue 12019
Dimiter Skordev

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(Abstract)

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.Comment: 21 pages. Intended for "Continuity, Computability, Constructivity: From Logic to Algorithms" (postproceedings)

链接与引用

DOI 原文 ·

BibTeX
@article{paperbot811,
  title = {Moschovakis Extension of Represented Spaces},
  author = {Dimiter Skordev},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 15, Issue 1},
  year = {2019},
  doi = {10.23638/lmcs-15(1:35)2019}
}