Computability of a function with jumps: Effective uniformity and limiting recursion

DOI10.1016/J.TOPOL.2003.12.017zbMath1086.54016OpenAlexW3021256540MaRDI QIDQ1763621

Yoshiki Tsujii, Mariko Yasugi

Publication date: 22 February 2005

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2003.12.017

zbMATH Keywords

Uniform spaceEffectively continuous functionLimiting recursive functionPara-computable functionSequential computability of reals

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15) Foundations: limits and generalizations, elementary topology of the line (26A03)

Related Items (3)

Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism ⋮ Uniform structures in the beginning of the third millenium ⋮ Irrational-based computability of functions

Cites Work

• Effective properties of sets and functions in metric spaces with computability structure
• Metrization of the Uniform Space and Effective Convergence
• Representations of Complete Uniform Spaces via Uniform Domains
• Two Notions of Sequential Computability of a Function with Jumps
• Limiting recursion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computability of a function with jumps: Effective uniformity and limiting recursion