Recursive topological spaces
From MaRDI portal
We discuss the new concept of a recursive topological space which generalizes constructive analysis and the theory of recursive metric spaces. The purpose of our undertaking is to offer a tool for studying recursion on topological groups, algebras, and models of general form with nonmetrizable topologies. It is interesting to observe that the new concept formally generalizes the constructive domains by Yu. L. Ershov and D. Scott, respectively.
Recommendations
- A blend of methods of recursion theory and topology.
- Recursive quasi-metric spaces.
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
- On effective topological spaces
- Generic objects in recursion theory. II: Operations on recursive approximation spaces
Cites work
Cited in
(7)- A blend of methods of recursion theory and topology.
- Recursive quasi-metric spaces.
- scientific article; zbMATH DE number 3859104 (Why is no real title available?)
- scientific article; zbMATH DE number 4152362 (Why is no real title available?)
- scientific article; zbMATH DE number 3930990 (Why is no real title available?)
- scientific article; zbMATH DE number 1978328 (Why is no real title available?)
- scientific article; zbMATH DE number 1546505 (Why is no real title available?)
This page was built for publication: Recursive topological spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1921850)
