Integral of Two-dimensional Fine-computable Functions
Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii · Electronic Notes in Theoretical Computer Science · 2008
We discuss effective integrability and effectivization of Fubini's Theorem for a Fine-computable function F ( x , y ) on the upper-right open unit square. The core objective is Fine-computability of f ( x ) = ∫ [ 0 , 1 ) F ( x , y ) d y as a function on [ 0 , 1 ) .