Publication:4217598
From MaRDI portal
zbMath0911.03020MaRDI QIDQ4217598
Publication date: 2 March 1999
continuity; Turing machine; computable real numbers; computable metric spaces; computable functions over the real numbers; effective functions; effectively continuous functions; Type 1 computable functions; Type 2 computable functions
03D45: Theory of numerations, effectively presented structures
Related Items
Representations versus numberings: On the relationship of two computability notions, Effective continuities on effective topological spaces, From axiomatics to intrinsic characterization: some open problems in computable analysis, Effective properties of sets and functions in metric spaces with computability structure, Effective metric spaces and representations of the reals., A Real Number Structure that is Effectively Categorical