一句话：为表示空间的 Moschovakis 扩展构造表示，并证明 TTE 可计算性下若干单值/多值函数定理。
本文研究在类型二有效（TTE）理论中如何处理表示空间的 Moschovakis 扩展。给定一个表示空间，作者为其载体的 Moschovakis 扩展构造合适的表示，并特别关注有效拓扑空间与有效度量空间的情形。在此基础上，论文给出所得到表示空间中的 TTE 可计算性结果：对单值函数，证明任何相对于某些可计算函数绝对 prime 可计算的函数都是可计算的；对多值函数，也有类似结论，但使用绝对 prime 可计算性的类比。结果的表述借助作者在其他工作中研究的迭代组合空间中的可计算性概念。
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)