Fine-computable Functions on the Unit Square and their Integral
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 [x,1). The core objective is Fine-computability of F(x) = integral([0,1)) F(x,y)dy as a function of x is an element of [0.1).
fine-computable function fubini's theorem integral operator