Publication:3676137
From MaRDI portal
zbMath0563.03030MaRDI QIDQ3676137
No author found.
Publication date: 1984
continuity; effective operators; total recursive functions; partial recursive functions; complete partial order; effective topological space; recursive metric space
68Q60: Specification and verification (program logics, model checking, etc.)
03D20: Recursive functions and relations, subrecursive hierarchies
03D45: Theory of numerations, effectively presented structures
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Some results related to the continuity problem, Towards Computability over Effectively Enumerable Topological Spaces, Unnamed Item, Representations versus numberings: On the relationship of two computability notions, COMPUTABLY COMPACT METRIC SPACES, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, Total sets and objects in domain theory, Recursive topological spaces, Effective inseparability in a topological setting