Publication:3975033
From MaRDI portal
zbMath0736.03013MaRDI QIDQ3975033
Publication date: 26 June 1992
metric spaces; effective operators; effective operator; cpo; effective topology; Mal'tsev topology; Rice-Shapiro theorem on index sets; semidecidable property
68Q55: Semantics in the theory of computing
03D45: Theory of numerations, effectively presented structures
54A99: Generalities in topology
Related Items
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, A blend of methods of recursion theory and topology., Effective inseparability in a topological setting