Recursive topological spaces (Q1921850)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Recursive topological spaces |
scientific article |
Statements
Recursive topological spaces (English)
0 references
3 September 1996
0 references
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.
0 references
recursive topological space
0 references
nonmetrizable topologies
0 references
constructive domains
0 references