Some notes on spaces of ideals and computable topology

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

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)

Cites Work

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

Cited In (3)

• Enumerating classes of effective quasi-Polish spaces
• Some notes on spaces of ideals and computable topology
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

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

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