Effectivity and effective continuity of functions between computable metric spaces

MaRDI QIDQ4217598zbMATH OpenFDO

Authors P. H. Hertling

Publication date 2 March 1999

zbMATH Keywords

computable functions over the real numberscomputable metric spacescomputable real numberscontinuityeffective functionseffectively continuous functionsTuring machineType 1 computable functionsType 2 computable functions

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Recommendations

• Computability on computable metric spaces
• Effective continuities on effective topological spaces
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions

Cited in

(23)

• From axiomatics to intrinsic characterization: some open problems in computable analysis
• Effectiveness of the global modulus of continuity on metric spaces
• Effective properties of sets and functions in metric spaces with computability structure
• Effectively closed sets and graphs of computable real functions.
• Effective metric spaces and representations of the reals.
• Computability on computable metric spaces
• Effective Borel measurability and reducibility of functions
• Effectivity and effective continuity of multifunctions
• Plottable Real Number Functions and the Computable Graph Theorem
• Approaches to effective semi-continuity of real functions. (Extended abstract)
• A Real Number Structure that is Effectively Categorical
• Effectiveness of the global modulus of continuity on metric spaces
• scientific article; zbMATH DE number 1531376 (Why is no real title available?)
• scientific article; zbMATH DE number 1746046 (Why is no real title available?)
• A Galois connection between Turing jumps and limits
• Computational complexity on computable metric spaces
• Effectively absolute continuity and effective Jordan decomposability
• On the continuity of effective multifunctions
• Maximal computability structures
• Representations versus numberings: On the relationship of two computability notions
• A sequentially computable function that is not effectively continuous at any point
• Effectively open real functions
• Effective continuities on effective topological spaces

This page was built for publication: Effectivity and effective continuity of functions between computable metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4217598)