Related papers: An elementary rectifiability lemma and some applic…

Refining an earlier result due to Hahlomaa, we provide a new Carleson-type condition for $k$-regular sets in the Heisenberg group $\mathbb{H}^n$ to have big pieces of Lipschitz images of subsets of $\mathbb{R}^k$ for $1\leq k\leq n$. Our…

By using a multiscale analysis, we establish quantitative versions of the Besicovitch projection theorem (almost every projection of a purely unrectifiable set in the plane of finite length has measure zero) and a standard companion result,…

Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an Ahlfors-David regular set of dimension $n$. We show that the weak-$A_\infty$ property of harmonic measure, for the open set $\Omega:= \mathbb{R}^{n+1}\setminus E$, implies uniform…

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

The classical Painlev\'e theorem tells that sets of zero length are removable for bounded analytic functions, while (some) sets of positive length are not. For general $K$-quasiregular mappings in planar domains the corresponding critical…

We consider an action of a countable amenable group on a compact metric space, focusing on the set of generic points with respect to a fixed F{\o}lner sequence. For a given characteristic class, we prove that the set of points that are…

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive…

A central question in geometric measure theory is whether geometric properties of a set translate into analytical ones. In 1960, E. R. Reifenberg proved that if an $n$-dimensional subset $M$ of $\mathbb{R}^{n+k}$ is well approximated by…

Federer's characterization states that a set $E\subset \mathbb{R}^n$ is of finite perimeter if and only if $\mathcal H^{n-1}(\partial^*E)<\infty$. Here the measure-theoretic boundary $\partial^*E$ consists of those points where both $E$ and…

These series of notes serve as an introduction to some of both the classical and modern techniques in Reifenberg theory. At its heart, Reifenberg theory is about studying general sets or measures which can be, in one sense or another,…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

We quantify the density of rational points in the unit sphere $S^n$, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point $\alpha \in S^n$ is…

We prove that if every real belongs to a set generic extension of the constructible universe then every \Sigma_1^1 equivalence E on reals either admits a Delta_1^HC reduction to the equality on the set 2^{<\om_1} of all countable binary…

Let $E \subset \mathbb{Z}^N$ be a set of positive upper Banach density and let $\Gamma < \operatorname{GL}_N(\mathbb{Z})$ be a finitely generated, strongly irreducible subgroup whose Zariski closure in $\operatorname{GL}_N(\mathbb{R})$ is a…

Two definitions for the rectfiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on $\mathbb{H}$-regular surfaces, and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups.…

Let $(X,\mathcal{F},\mu,T)$ be a not necessarily invertible non-atomic measure-preserving dynamical system where the $\sigma$-algebra $\mathcal{F}$ is generated by the intervals according to some total order. The main result is that the…

In this paper we give a new, less restrictive condition for removability of singular sets, $E$, of smooth solutions to the m-Hessian equation (and also for more general fully nonlinear elliptic equations) in $\Omega \setminus E$, $\Omega…

Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern. This is achieved as a special case of a more general construction in which we…

We establish that a closed set $\mathcal{S}$ is removable for $\alpha$-H\"older continuous $\mathscr{A}$-harmonic functions in a reversible Finsler manifold $(\Omega, F, \mathtt{V})$ of dimension $n \geq 2$, provided that (under certain…

Let $E$ be an $1$-Ahlfors regular subset of the Heisenberg group $\mathbb{H}$. We prove that there exists a $-1$-homogeneous kernel $K_1$ such that if $E$ is contained in a $1$-regular curve the corresponding singular integral is bounded in…