Related papers: The Reverse Mathematics of Analytic Measurability

A classical theorem of Menshov states that every measurable function can redefined on a set of arbitrarily small Lebesgue measure, so that the resulting function has uniformly convergent Fourier series. We prove that the same is true if we…

We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This…

Lusin's Theorem states that, for every Borel-measurable function $\bf{f}$ on $\mathbb R$ and every $\epsilon>0$, there exists a continuous function $\bf{g}$ on $\mathbb R$ which is equal to $\bf{f}$ except on a set of measure $<\epsilon$.…

We study the sigma-finite measures in the space of vector-valued distributions on the manifold $X$ with Laplace transform $$\Psi(f)=\exp\{-\theta\int_X\ln||f(x)||dx\}, \theta>0.$$ We also consider the weak limit of Haar measures on the…

We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take $\mathsf{ACA}_0^\omega + (\mu)$. The system $\mathsf{ACA}_0^\omega$ is the higher order extension of Friedman's…

Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…

In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various…

Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…

Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…

This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…

The classic Fatou lemma states that the lower limit of a sequence of integrals of functions is greater or equal than the integral of the lower limit. It is known that Fatou's lemma for a sequence of weakly converging measures states a…

In a series of papers, M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the…

Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…

We utilize Gaussian measure preserving systems to prove the existence and genericity of Lebesgue measure preserving transformations $T:[0,1]\rightarrow [0,1]$ which exhibit both mixing and rigidity behavior along families of asymptotically…

R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…

Let $\psi:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $\alpha$ for which there are infinitely many reduced fractions $a/q$…

Reverse Mathematics is a program in the foundations of mathematics which provides an elegant classification of theorems of ordinary mathematics based on computability. Our aim is to provide an alternative classification of theorems based on…

Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that…

We prove a refined version of the celebrated Lusin type theorem for gradients by Alberti, stating that any Borel vector field $f$ coincides with the gradient of a $C^1$ function $g$, outside a set $E$ of arbitrarily small Lebesgue measure.…