Towards an Effective Theory of Absolutely Continuous Measures

Henry Towsner
DOI: https://doi.org/10.48550/arXiv.1503.04743
2015-03-16
Logic
Abstract:We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence $L^1$ functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for $L^1$ functions.
What problem does this paper attempt to address?