Fine-computable Functions on the Unit Square and their Integral
Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii · Zenodo (CERN European Organization for Nuclear Research) · 2020
We discuss the integral and Fubini's Theorem for a Fine-computable function F(x, y) on the upper-right open unit square [0, 1) x [0,1). The core objective is Fine-computability of f(x) = ∫ [0,1) F(x,y)dy as a function of x ∈ [0,1).