Related papers: Measure theory and higher order arithmetic

MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals of lattice-ordered abelian groups in which a strong order unit has been fixed. The free n-generated MV-algebra Free_n is…

In this paper, we study the supports of measures in the free additive convolution semigroup $\{\mu^{\boxplus t}:t>1\}$, where $\mu$ is a Borel probability measure on $\mathbb{R}$. We give a formula for the density of the absolutely…

We relate generalized Lebesgue decompositions of measures in terms of curve fragments (Alberti representations) and Weaver derivations. This correspondence leads to a geometric characterization of the local norm on the Weaver cotangent…

Consider piecewise linear Lorenz maps on $[0, 1]$ of the following form \[ f_{a,b,c}(x)= {ll} ax+1-ac & x \in [0, c) b(x-c) & x \in (c, 1].\] We prove that $f_{a,b,c}$ admits an absolutely continuous invariant probability measure (acim)…

For a measure space $(\Omega, \Sigma, \mu)$ with a positive finite measure $\mu$, and a positive real number $p$, we define the space $L_p^{+}(\mu)=L_p^{+}$ of all (equivalence classes of) $\Sigma$-measurable complex functions $f$ defined…

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set…

A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $\mu$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson…

We consider a generalization of the Bauer maximum principle. We work with tensorial products of convex measures sets, that are non necessarily compact but generated by their extreme points. We show that the maximum of a quasi-convex lower…

There have been, over the last 8 years, a number of far reaching extensions of the famous original F. and M. Riesz's uniqueness theorem that states that if a bounded analytic function in the unit disc of the complex plane $\Bbb C$ has the…

For any standard Borel space $B$, let $\mathcal{P}(B)$ denote the space of Borel probability measures on $B$. In relation to a difficult problem of Aldous in exchangeability theory, and in connection with arithmetic combinatorics, Austin…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

Rademacher's Theorem can be interpreted as an almost-everywhere \emph{little-$o$ improvement principle}: if a function admits a uniform pointwise first-order Lipschitz control at every point, then this control improves to a vanishing one at…

We consider the pointwise approximation of a subharmonic function by the logarithm of the modulus of an entire function up to a bounded quantity. In the case of finite order an estimate from below of the planar Lebesgue measure of an…

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…

The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimidean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In an earlier paper [Shamseddine-Berz-2003], a…

Let $P_{\alpha} f(x,t)$ be the Caffarelli-Silvestre extension of a smooth function $f(x): \mathbb{R}^n \rightarrow \mathbb{R}^{n+1}_+:=\mathbb{R}^n\times (0,\infty).$ The purpose of this article is twofold. Firstly, we want to characterize…

We show that the standard partition of unity subordinate to an open cover of a metric space has Lipschitz constant $\max(1,M-1)/\mathcal{L}$, where $\mathcal{L}$ is the Lebesgue number and $M$ is the multiplicity of the cover. If the metric…

We prove that a singular part $\mu_s$ of a measure $\mu$ satisfying ${\cal A}\mu =0$ for a linear partial differential operator ${\cal A}$ defined on $R^d$ has the range in the intersection of kernels of the principal symbol of ${\cal A}$…

We prove that the boundary of every multigeometric Cantorval is a null set, and extend this result to a larger class of standard achievable Cantorvals. In addition, we discuss the sets of uniqueness of achievement sets and show that they…

Let $Q$ denote the space of signed measures on the Borel $\sigma$-algebra of a separable complete space $X$. We endow $Q$ with the norm $\|q\|=\sup|\int\phi dq|$, where the supremum is taken over all Lipschitz with constant 1 functions…