Effective continuities on effective topological spaces

DOI10.1016/J.JCO.2006.06.004zbMath1116.03036OpenAlexW1988713362MaRDI QIDQ864437

Shinji Iizuka

Publication date: 8 February 2007

Published in: Journal of Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jco.2006.06.004

zbMATH Keywords

real-valued functionseffective continuityeffective local uniform continuityeffective topological spaceseffective uniform topological spacesType-2 computability

Mathematics Subject Classification ID

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Real-valued functions in general topology (54C30) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the computability of Walsh functions.
• On the definitions of computable real continuous functions
• The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis
• Representations versus numberings: On the relationship of two computability notions

This page was built for publication: Effective continuities on effective topological spaces