scientific article
From MaRDI portal
Publication:3671145
zbMath0521.03029MaRDI QIDQ3671145
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Topological spaces and generalizations (closure spaces, etc.) (54A05) Theory of numerations, effectively presented structures (03D45)
Related Items (7)
The undecidability of the lattice of r. e. closed subsets of an effective topological space ⋮ Effective topological spaces. III: Forcing and definability ⋮ Effective inseparability in a topological setting ⋮ 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 topological spaces. I: A definability theory ⋮ Effective topological spaces. II: A hierarchy
This page was built for publication:
