Strong computable type

DOI10.3233/com-220430arXiv2210.08309OpenAlexW4386955552MaRDI QIDQ6062176

Mathieu Hoyrup, Unnamed Author

Publication date: 30 November 2023

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.08309

zbMATH Keywords

topological invariantdescriptive complexitycomputable type

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a descriptive set theory for domain-like structures
• Semicomputable manifolds in computable topological spaces
• Computability of products of chainable continua
• Computable topological abelian groups
• Computability of pseudo-cubes
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Some theorems on absolute neighborhood retracts
• Compact manifolds with computable boundaries
• Computability of Homology for Compact Absolute Neighbourhood Retracts
• Is the Mandelbrot set computable?
• Computing All Maps into a Sphere
• Co-c.e. spheres and cells in computable metric spaces
• Equivalence of singular and Čech homology for ANR-s. Application to unicoherence
• Invariant sets in topology and logic
• Data Types as Lattices
• Über eine Klasse von lokal zusammenhängenden Räumen
• Effectiveness for Embedded Spheres and Balls
• Computability of 1-manifolds
• Weihrauch Complexity in Computable Analysis
• Computability of glued manifolds
• Computability of graphs
• Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
• Arithmetical Reducibilities I
• On the topological aspects of the theory of represented spaces
• Mappings of a Normal Space Into an Absolute Neighborhood Retract
• On the dimension of normal spaces
• Point Degree Spectra of Represented Spaces
• COMPUTABLY COMPACT METRIC SPACES