Publication:3671145
From MaRDI portal
zbMath0521.03029MaRDI QIDQ3671145
Publication date: 1982
54A05: Topological spaces and generalizations (closure spaces, etc.)
03D45: Theory of numerations, effectively presented structures
Related Items
Effective topological spaces. I: A definability theory, Effective topological spaces. II: A hierarchy, The undecidability of the lattice of r. e. closed subsets of an effective topological space, Effective topological spaces. III: Forcing and definability, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II, Effective inseparability in a topological setting