Towards an Effective Theory of Absolutely Continuous Measures
arXiv:1503.04743
Abstract
We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for functions.