Represented spaces of represented spaces

DOI10.1007/978-3-031-95908-0_4MaRDI QIDQ6897664zbMATH OpenFDO

Authors Johanna N. Y. Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_4

zbMATH Keywords

categoricitycomputable topology

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A comparison of concepts from computable analysis and effective descriptive set theory
• Analytic computable structure theory and \(L^p\)-spaces. II
• Computable copies of ℓ p 1
• Computable structures and operations on the space of continuous functions
• Computably Isometric Spaces
• Constructing the space of valuations of a quasi-Polish space as a space of ideals
• Descriptive complexity on non-Polish spaces
• Descriptive complexity on non-Polish spaces. II
• Descriptive set theory in the category of represented spaces
• scientific article; zbMATH DE number 2247268 (Why is no real title available?)
• On the topological aspects of the theory of represented spaces
• Overt choice
• Products of effective topological spaces and a uniformly computable Tychonoff theorem
• Some notes on spaces of ideals and computable topology
• Spaces allowing Type‐2 Complexity Theory revisited

This page was built for publication: Represented spaces of represented spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897664)