Publication:3248969
From MaRDI portal
zbMath0081.01301MaRDI QIDQ3248969
Publication date: 1958
Related Items
Some results related to the continuity problem, Towards Computability over Effectively Enumerable Topological Spaces, An Effective Operator, Continuous but not Partial Recursive, Representations versus numberings: On the relationship of two computability notions, Metric spaces in synthetic topology, Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals, On the information carried by programs about the objects they compute, The fixed-point property for represented spaces, Kleene’s Amazing Second Recursion Theorem