Effective inseparability in a topological setting
From MaRDI portal
Publication:1923565
DOI10.1016/0168-0072(95)00067-4zbMath0871.03035OpenAlexW2003774222MaRDI QIDQ1923565
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
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