Effective topological spaces. II: A hierarchy

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

zbMATH Keywords

universal setsquantifier complexitydefinability hierarchiesessentially recursively enumerable sets

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

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