Some notes on spaces of ideals and computable topology

DOI10.1007/978-3-030-51466-2_3OpenAlexW3037264960MaRDI QIDQ2106589

Matthew De Brecht

Publication date: 16 December 2022

Full work available at URL: https://arxiv.org/abs/2004.13375

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Enumerating classes of effective quasi-Polish spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extended admissibility.
• Quasi-Polish spaces
• On higher effective descriptive set theory
• Computability on quasi-Polish spaces
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Towards Computability over Effectively Enumerable Topological Spaces
• On the Difference Hierarchy in Countably Based T0-Spaces
• Overt choice
• Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}
• On the topological aspects of the theory of represented spaces
• Spatiality of countably presentable locales (proved with the Baire category theorem)

This page was built for publication: Some notes on spaces of ideals and computable topology