Effective topological spaces. II: A hierarchy
From MaRDI portal
Publication:1073020
DOI10.1016/0168-0072(84)90025-3zbMath0588.03028OpenAlexW2065683845MaRDI QIDQ1073020
Galen Weitkamp, Iraj Kalantari
Publication date: 1985
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(84)90025-3
Related Items (5)
Effective topological spaces. III: Forcing and definability ⋮ Effective inseparability in a topological setting ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Effective topological spaces. I: A definability theory
Cites Work
- Unnamed Item
- Effective topological spaces. I: A definability theory
- Effective topological spaces. III: Forcing and definability
- Analytic sets having incomparable kleene degrees
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- Sostituzioni inverse
- Recursive Functionals and Quantifiers of Finite Types I
- Maximality in effective topology
- Degrees of recursively enumerable topological spaces
- Simplicity in effective topology
- Recursive constructions in topological spaces
- Recursive Functionals and Quantifiers of Finite Types II
- Recursive Predicates and Quantifiers
This page was built for publication: Effective topological spaces. II: A hierarchy