scientific article; zbMATH DE number 1222103
From MaRDI portal
Publication:4217598
zbMath0911.03020MaRDI QIDQ4217598
Publication date: 2 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuityTuring machinecomputable real numberscomputable metric spacescomputable functions over the real numberseffective functionseffectively continuous functionsType 1 computable functionsType 2 computable functions
Related Items
MAXIMAL COMPUTABILITY STRUCTURES ⋮ Effective continuities on effective topological spaces ⋮ Representations versus numberings: On the relationship of two computability notions ⋮ 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