Effective second countability in computable analysis
From MaRDI portal
Cites work
- A comparison of concepts from computable analysis and effective descriptive set theory
- Admissibly Represented Spaces and Qcb-Spaces
- Beziehungen zwischen gewissen Klassen effektiv topologischer Räume
- Computably regular topological spaces
- Effective operations in a general setting
- Effective second countability in computable analysis
- Elementary computable topology
- Foundations for computable topology
- scientific article; zbMATH DE number 3127537 (Why is no real title available?)
- scientific article; zbMATH DE number 3145228 (Why is no real title available?)
- scientific article; zbMATH DE number 1969324 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 1746044 (Why is no real title available?)
- scientific article; zbMATH DE number 3247159 (Why is no real title available?)
- Metric spaces in synthetic topology
- Notes on overt choice
- On constructive functions
- On effective topological spaces
- On the topological aspects of the theory of represented spaces
- Overt choice
- Recursive metric spaces
- Representations versus numberings: On the relationship of two computability notions
- Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem
- Strong computable type
- Synthetic topology: of data types and classical spaces
- Theory of representations
This page was built for publication: Effective second countability in computable analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897666)
