Enumerating classes of effective quasi-Polish spaces

DOI10.1007/978-3-031-08740-0_8MaRDI QIDQ2104255OpenAlexFDO

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

• scientific article; zbMATH DE number 3600759 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• Computability and models. Perspectives east and west
• Computability of Polish spaces up to homeomorphism
• Computability on quasi-Polish spaces
• Computable structures and the hyperarithmetical hierarchy
• Computably Isometric Spaces
• Effectively categorical abelian groups
• Equivalence relations that are \(\Sigma^0_3\) complete for computable reducibility (extended abstract)
• Isomorphism relations on computable structures
• On degree spectra of topological spaces
• On higher effective descriptive set theory
• Overt choice
• Quasi-Polish spaces
• Some notes on spaces of ideals and computable topology
• The isometry degree of a computable copy of ℓ p 1
• Towards the Effective Descriptive Set Theory
• Turing's legacy. Developments from Turing's ideas in logic

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)