Representations versus numberings: On the relationship of two computability notions

DOI10.1016/S0304-3975(00)00319-4zbMath0992.68056MaRDI QIDQ5958133

Dieter Spreen

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

computability theory; computable operators; continuity problem; effective operators; effectively given topological spaces; numbering theory; theory of representations; type two theory of effectivity

Mathematics Subject Classification ID

03D45: Theory of numerations, effectively presented structures

Related Items

Some results related to the continuity problem, Effective continuities on effective topological spaces, On the information carried by programs about the objects they compute, Computable total functions on metric algebras, universal algebraic specifications and dynamical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic and fixed point equations over inverse limits of algebras
• Continuity and comprehension in intuitionistic formal systems
• Computability concepts for programming language semantics
• Classical recursion theory. Vol. II
• Computability on computable metric spaces
• Computable functionals of finite types
• On some decision problems in programming
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• A Comparison of Five “Computable” Operators
• Discontinuities of provably correct operators on the provably recursive real numbers
• Effectively given domains and lambda-calculus models
• Church's thesis, continuity, and set theory
• 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
• Theorie Der Numerierungen III
• On effective topological spaces
• An Effective Operator, Continuous but not Partial Recursive
• Algorithmic operators in constructive metric spaces
• Recursive metric spaces
• On Effectively Computable Operators