Enumerating classes of effective quasi-Polish spaces

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

Takayuki Kihara, Victor L. Selivanov, Matthew De Brecht

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)

Related Items (1)

Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable structures and the hyperarithmetical hierarchy
• Quasi-Polish spaces
• On higher effective descriptive set theory
• Some notes on spaces of ideals and computable topology
• Computability on quasi-Polish spaces
• On degree spectra of topological spaces
• Effectively categorical abelian groups
• Turing's Legacy
• Equivalence Relations That Are $\Sigma^0_3$ Complete for Computable Reducibility
• Towards the Effective Descriptive Set Theory
• Overt choice
• The isometry degree of a computable copy of ℓ p 1
• Isomorphism relations on computable structures
• Computably Isometric Spaces
• COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM

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