Irrational-based computability of functions

DOI10.1007/978-981-16-4173-2_9OpenAlexW4206966991MaRDI QIDQ2097063

Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-981-16-4173-2_9

zbMATH Keywords

computable irrational sequenceIB-effective convergenceirrational-based (IB-) computable real function

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Computability of a function with jumps: Effective uniformity and limiting recursion
• Computability of Probability Distributions and Distribution Functions
• FINE CONVERGENCE OF FUNCTIONS AND ITS EFFECTIVIZATION
• A Characterization of Real almost Continuous Functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Irrational-based computability of functions