Enumerating classes of effective quasi-Polish spaces

DOI10.1007/978-3-031-08740-0_8OpenAlexW4285306243MaRDI QIDQ2104255FDOQ2104255

Authors: Takayuki Kihara, Matthew De Brecht, Victor Selivanov 

Publication date: 7 December 2022

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

zbMATH Keywords

index setseparation axiomsnumberingeffective descriptive set theoryeffective domainc.e. preorderc.e. transitive relationeffective Polish spaceeffective quasi-Polish space

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Computable structures and the hyperarithmetical hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Isomorphism relations on computable structures
• Effectively categorical abelian groups
• Title not available (Why is that?)
• Quasi-Polish spaces
• Turing's legacy. Developments from Turing's ideas in logic
• Towards the Effective Descriptive Set Theory
• Computability on quasi-Polish spaces
• On degree spectra of topological spaces
• The isometry degree of a computable copy of ℓ p 1
• Computably Isometric Spaces
• COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
• Computability and models. Perspectives east and west
• On higher effective descriptive set theory
• Equivalence Relations That Are $\Sigma^0_3$ Complete for Computable Reducibility
• Some notes on spaces of ideals and computable topology
• Overt choice

Cited In (2)

• Classes of Polish spaces under effective Borel isomorphism
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

This page was built for publication: Enumerating classes of effective quasi-Polish spaces

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