Some notes on spaces of ideals and computable topology

DOI10.1007/978-3-030-51466-2_3MaRDI QIDQ2106589zbMATH OpenOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 7093560 (Why is no real title available?)
• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• Computability on quasi-Polish spaces
• Continuous Lattices and Domains
• Elementary computable topology
• Extended admissibility.
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On higher effective descriptive set theory
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• On the topological aspects of the theory of represented spaces
• Overt choice
• Quasi-Polish spaces
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Towards computability over effectively enumerable topological spaces

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)