论文标题
可允许的代表空间和QCB空间
Admissibly Represented Spaces and Qcb-Spaces
论文作者
论文摘要
第二型有效性理论（TTE）的基本概念是可允许的空间的概念。可允许的代表空间与QCB空间密切相关。后者形成了拓扑空间的良好行为子类。我们对第二型有效性理论，可接受的空间，QCB空间和有效的QCB空间进行了调查。此外，我们讨论了QCB空间与与可计算分析相关的其他类别的关系。
A basic concept of Type Two Theory of Effectivity (TTE) is the notion of an admissibly represented space. Admissibly represented spaces are closely related to qcb-spaces. The latter form a well-behaved subclass of topological spaces. We give a survey of basic facts about Type Two Theory of Effectivity, admissibly represented spaces, qcb-spaces and effective qcb-spaces. Moreover, we discuss the relationship of qcb-spaces to other categories relevant to Computable Analysis.
