Effective topological spaces. III: Forcing and definability

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

Galen Weitkamp, Iraj Kalantari

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

forcingsatisfactiondefinabilityeffective topological spaces

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (5)

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 ⋮ Effective topological spaces. II: A hierarchy

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

This page was built for publication: Effective topological spaces. III: Forcing and definability