Recursive constructions in topological spaces

DOI10.2307/2273299zbMath0427.03035OpenAlexW2160161200MaRDI QIDQ3863871

Allen Retzlaff, Iraj Kalantari

Publication date: 1979

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

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

zbMATH Keywords

effectively presented structures

Mathematics Subject Classification ID

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

Related Items

The undecidability of the lattice of r. e. closed subsets of an effective topological space, Effective topological spaces. III: Forcing and definability, Lower bounds on degrees of game-theoretic structures, Effective inseparability in a topological setting, On Turing degrees of Walrasian models and a general impossibility result in the theory of decision-making, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Effective topological spaces. I: A definability theory, Effective topological spaces. II: A hierarchy

Cites Work

• Recursively enumerable vector spaces
• Recursively enumerable sets of positive integers and their decision problems
• Unnamed Item