scientific article
From MaRDI portal
Publication:3975033
zbMath0736.03013MaRDI QIDQ3975033
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
metric spaceseffective operatorseffective operatorcpoeffective topologyMal'tsev topologyRice-Shapiro theorem on index setssemidecidable property
Semantics in the theory of computing (68Q55) Theory of numerations, effectively presented structures (03D45) Generalities in topology (54A99)
Related Items (3)
Effective inseparability in a topological setting ⋮ A blend of methods of recursion theory and topology. ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
This page was built for publication:
