Comparing computability in two topologies
From MaRDI portal
Publication:6642884
DOI10.1017/JSL.2023.17MaRDI QIDQ6642884
Author name not available (Why is that?), Mathieu Hoyrup
Publication date: 25 November 2024
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Computation over the reals, computable analysis (03D78)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decomposing Borel functions and structure at finite levels of the Baire hierarchy
- Effective properties of sets and functions in metric spaces with computability structure
- On the uniform computational content of the Baire category theorem
- Semicomputable manifolds in computable topological spaces
- Quasi-Polish spaces
- Applications of the Baire category theorem
- Genericity of weakly computable objects
- Baire category and nowhere differentiability for feasible real functions
- Towards the Effective Descriptive Set Theory
- Decomposing Borel sets and functions and the structure of Baire class 1 functions
- Effectiveness for Embedded Spheres and Balls
- Weihrauch Complexity in Computable Analysis
- Effective decomposition of σ-continuous Borel functions
- Point Degree Spectra of Represented Spaces
This page was built for publication: Comparing computability in two topologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642884)
