Effective inseparability in a topological setting

DOI10.1016/0168-0072(95)00067-4zbMath0871.03035OpenAlexW2003774222MaRDI QIDQ1923565

Dieter Spreen

Publication date: 9 October 1996

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(95)00067-4

zbMATH Keywords

computable analysiscomputably inseperable setsRice-Shapiro theorem

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Some results related to the continuity problem ⋮ Can partial indexings be totalized? ⋮ On effective topological spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective topological spaces. I: A definability theory
• Effective topological spaces. II: A hierarchy
• Effective topological spaces. III: Forcing and definability
• Algebraic and fixed point equations over inverse limits of algebras
• Continuity and comprehension in intuitionistic formal systems
• Concrete domains
• Computable functionals of finite types
• Beziehungen zwischen gewissen Klassen effektiv topologischer Räume
• Some Theorems on Classes of Recursively Enumerable Sets
• Maximality in effective topology
• Degrees of recursively enumerable topological spaces
• Simplicity in effective topology
• Effectively given domains and lambda-calculus models
• Church's thesis, continuity, and set theory
• Recursive constructions in topological spaces
• Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
• Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis
• Effectivizing Inseparability
• Theorie der Numerierungen I
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
• The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
• Data Types as Lattices
• Algorithmic operators in constructive metric spaces
• Recursive metric spaces
• [Russian Text Ignored.]

This page was built for publication: Effective inseparability in a topological setting