表示空间的Moschovakis扩张
逻辑
2023-06-22 v4
摘要
给定一个表示空间（在TTE理论意义上），为其载体之Moschovakis扩张构造适当的表示（并注意有效拓扑空间与有效度量空间的情形）。给出了关于以此方式获得的表示空间中TTE可计算性的一些结果。对于单值函数，我们大致证明了：任一在某个可计算函数中绝对素可计算的函数之可计算性。对多值函数亦有类似结果，但使用绝对素可计算性的类比。该结果的表述利用了迭代组合空间中可计算性的概念——这是作者在其它出版物中研究过的一个概念。
引用
@article{arxiv.1801.09544,
title = {Moschovakis Extension of Represented Spaces},
author = {Dimiter Skordev},
journal= {arXiv preprint arXiv:1801.09544},
year = {2023}
}
备注
21 pages. Intended for "Continuity, Computability, Constructivity: From Logic to Algorithms" (postproceedings)