Descriptive complexity of topological invariants

DOI10.1016/J.APAL.2025.103611MaRDI QIDQ6970288zbMATH OpenFDO

Authors Mathieu Hoyrup

Publication date 18 June 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103611

zbMATH Keywords

Borel complexitycomputable analysisdescriptive set theorytopological invarianttopology

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78) Fairly general properties of topological spaces (54D99) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Cites work

• Algorithms and complexity for Turaev-Viro invariants
• An arithmetic analysis of closed surfaces
• Compact manifolds with computable boundaries
• Complexity of simplicial homology and independence complexes of chordal graphs
• Computability of Polish spaces up to homeomorphism
• Computable analysis and classification problems
• Computable approximations of a chainable continuum with a computable endpoint
• Computable topological abelian groups
• Computable topological groups and Pontryagin duality
• COMPUTABLY COMPACT METRIC SPACES
• Computational complexity of topological invariants
• Contracting graphs to paths and trees
• Effectiveness for embedded spheres and balls
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 218581 (Why is no real title available?)
• Invariant sets in topology and logic
• On degree spectra of topological spaces
• On the topological aspects of the theory of represented spaces
• Strong computable type
• The descriptive complexity of connectedness in Polish spaces
• The infinite-dimensional topology of function spaces

This page was built for publication: Descriptive complexity of topological invariants

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