Lebesgue theory in the bidual of C(X)

The present work is based upon our monograph "The Bidual of [italic capital]C([italic capital]X)" ([italic capital]X being compact). We generalize to the bidual the theory of Lebesgue integration, with respect to Radon measures on [italic capital]X, of bounded functions. The bidual of [italic capital]C([italic capital]X) contains this space of bounded functions, but is much more 'spacious', so the body of results can be expected to be richer. Finally, we show that by projection onto the space of bounded functions, the standard theory is obtained.