Degrees of recursively enumerable topological spaces

DOI10.2307/2273453zbMath0532.03021OpenAlexW2140501550MaRDI QIDQ3313854

Iraj Kalantari, Jeffery B. Remmel

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273453

zbMATH Keywords

degreeseffective topologyrecursively enumerable open setsrecursively presented topological space

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Theory of numerations, effectively presented structures (03D45)

Related Items

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

Cites Work

• Effective content of field theory
• Recursion theory on orderings. II
• Recursively enumerable vector spaces
• Recursively enumerable Boolean algebras