Admissibly Represented Spaces and Qcb-Spaces

2020/04/20 by Schröder, Matthias · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2004.09450

Abstract

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.

Cited by

• Computable Bases
• Effective bases and notions of effective second countability in computable analysis

Related

• The descriptive theory of represented spaces
• Some Hierarchies of QCB₀-Spaces
• On the topological aspects of the theory of represented spaces
• Effective bases and notions of effective second countability in computable analysis
• Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. II