Some notes on spaces of ideals and computable topology
From MaRDI portal
Publication:2106589
Cites work
- 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.
- 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?)
- 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
(12)- Enumerating classes of effective quasi-Polish spaces
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Some notes on spaces of ideals and computable topology
- Represented spaces of represented spaces
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Effective bases and notions of effective second countability in computable analysis
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)
