Effective topological spaces. I: A definability theory

DOI10.1016/0168-0072(85)90033-8zbMath0569.03018OpenAlexW2067792740MaRDI QIDQ1061121

Iraj Kalantari, Galen Weitkamp

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(85)90033-8

zbMATH Keywords

first-order theoryarithmetizationformulas expressing topological propertiestheory of topological spaces

Mathematics Subject Classification ID

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

Related Items (6)

Effective topological spaces. III: Forcing and definability ⋮ Effective inseparability in a topological setting ⋮ Separating notions in effective topology ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Effective topological spaces. II: A hierarchy

Cites Work

• Unnamed Item
• Effective topological spaces. II: A hierarchy
• 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. I: A definability theory