Effective topological spaces. III: Forcing and definability

DOI10.1016/0168-0072(87)90009-1zbMath0637.03042MaRDI QIDQ1098842

Iraj Kalantari, Galen Weitkamp

Publication date: 1987

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(87)90009-1

zbMATH Keywords

forcing; satisfaction; definability; effective topological spaces

Mathematics Subject Classification ID

03D45: Theory of numerations, effectively presented structures

Related Items

Effective topological spaces. I: A definability theory, Effective topological spaces. II: A hierarchy, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Effective inseparability in a topological setting

Cites Work

• Unnamed Item
• Effective topological spaces. I: A definability theory
• Effective topological spaces. II: A hierarchy
• Model theory
• Analytic sets having incomparable kleene degrees
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• 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