Degrees of non-computability of homeomorphism types of Polish spaces

DOI10.1007/978-3-030-51466-2_16MaRDI QIDQ2106604zbMATH OpenOpenAlexFDO

Authors Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov

Publication date 16 December 2022

Full work available at URL https://doi.org/10.1007/978-3-030-51466-2_16

zbMATH Keywords

degree spectrumcomputable presentationcomputable topologycomputable Polish space

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Computability of Polish spaces up to homeomorphism
• New degree spectra of Polish spaces
• On homeomorphisms of effective topological spaces
• On degree spectra of topological spaces
• On degree-preserving homeomorphisms between trees in computable topology

Cites work

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• A tutorial on computable analysis
• Analytic computable structure theory and \(L^p\) spaces
• Computability of Polish spaces up to homeomorphism
• Computable structures and the hyperarithmetical hierarchy
• Computably Isometric Spaces
• Degree spectra and computable dimensions in algebraic structures
• Degrees of non-computability of homeomorphism types of Polish spaces
• Descriptive set theory
• Handbook of computability and complexity in analysis
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
• Recursive metric spaces
• The isometry degree of a computable copy of ℓ p 1
• Turing's legacy. Developments from Turing's ideas in logic

Cited in

(7)

• On the main scientific achievements of Victor Selivanov
• Every \(\Delta^0_2\) Polish space is computable topological
• New degree spectra of Polish spaces
• Computable topological abelian groups
• Separating notions in effective topology
• COMPUTABLY COMPACT METRIC SPACES
• Degrees of non-computability of homeomorphism types of Polish spaces

This page was built for publication: Degrees of non-computability of homeomorphism types of Polish spaces

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