Related papers: The Reverse Mathematics of Analytic Measurability

In this article, we study the Lipschitz Geometry at infinity of complex analytic sets and we obtain results on algebraicity of analytic sets and on Bernstein's problem. Moser's Bernstein Theorem says that a minimal hypersurface which is a…

We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…

We show that for any ergodic Lebesgue measure preserving transformation $f: [0,1) \rightarrow [0,1)$ and any decreasing sequence $\{b_i\}_{i=1}^{\infty}$ of positive real numbers with divergent sum, the set…

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

We show that if n>1 then there exists a Lebesgue null set in R^n containing a point of differentiability of each Lipschitz function mapping from R^n to R^(n-1); in combination with the work of others, this completes the investigation of…

Let $K\subset\mathbb{R}$ be a self-similar set defined on $\mathbb{R}$. It is easy to prove that if the Lebesgue measure of $K$ is zero, then for Lebesgue almost every $t$, $$K+t=\{x+t:x\in K\}$$ only consists of irrational or…

We generalize a classical theorem of Besicovitch, showing that, for any positive integers $k<n$, if $E\subset \mathbb R^n$ is a Souslin set which is not $\mathcal{H}^k$-$\sigma$-finite, then $E$ contains a purely unrectifiable closed set…

We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not yet been formalized in proof assistants based on dependent…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

This paper provides a new approach to proving generalizations of the F.&M. Riesz Theorem, for example, the result of Helson and Lowdenslager, the result of Forelli (and de Leeuw and Glicksberg), and more recent results of Yamagushi. We…

New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…

Let $\psi$ be a continuous decreasing function defined on all large positive real numbers. We say that a real $m\times n$ matrix $A$ is $\psi$-Dirichlet if for every sufficiently large real number $t$ one can find $\mathbf{p} \in…

We show that properties of pairs of finite, positive and regular Borel measures on the complex unit circle such as domination, absolute continuity and singularity can be completely described in terms of containment and intersection of their…

An affine iterated function system is a finite collection of affine invertible contractions and the invariant set associated to the mappings is called self-affine. In 1988, Falconer proved that, for given matrices, the Hausdorff dimension…

We prove that if $V=L$ then there is a $\Pi^1_1$ maximal orthogonal (i.e. mutually singular) set of measures on Cantor space. This provides a natural counterpoint to the well-known Theorem of Preiss and Rataj that no analytic set of…

In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert's tenth problem and…

We extend Leth's notion of subsets of the integers satisfying the Standard interval measure (SIM) property to the class of virtually nilpotent groups and name the corresponding property the Standard ball measure (SBM) property. In order to…

We construct mesures supported on a compact subset E of the real line having zero principal value of their Cauchy integral a.e. on E with respect to Lebesgue measure and having singular components. E is sufficiently regular (Widom property…

Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain new criteria equivalent to the Riemann hypothesis. Later, the same theorem was applied…

Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no…