The descriptive theory of represented spaces

2014/08/22 by Arno Pauly, Pauly, Arno · 1 citation
Computer Science · Mathematics · #03E15 #18B25 #26A21 #54H05 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1408.5329

openalex publication_date 2014/08/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented spaces. Most material is from work-in-progress, and thus there may be a stronger focus on projects involving the author than an objective survey would merit.

Cited by

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

Related

• Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
• Aspects of Classical Descriptive Set Theory
• On the topological aspects of the theory of represented spaces
• Results in descriptive set theory on some represented spaces
• Naive Descriptive Set Theory