Related papers: On the strength of Hausdorff's gap condition

A manifold is a space that locally looks like the smooth space $\mathbf{R}^{n}$. It is usually also assumed that the underlying topological space of a manifold is hausdorff. However, there are natural examples of manifolds for which the…

A sharper uncertainty inequality which exhibits a lower bound larger than that in the classical N-dimensional Heisenberg's uncertainty principle is obtained, and extended from N-dimensional Fourier transform domain to two N-dimensional…

We study families $\Phi$ of coverings which are faithful for the Hausdorff dimension calculation on a given set $E$ (i. e., special relatively narrow families of coverings leading to the classical Hausdorff dimension of an arbitrary subset…

Furstenberg--Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional…

We prove the following conjecture of Furstenberg (1969): if $A,B\subset [0,1]$ are closed and invariant under $\times p \mod 1$ and $\times q \mod 1$, respectively, and if $\log p/\log q\notin \mathbb{Q}$, then for all real numbers $u$ and…

A theorem of Ku\v{c}era states that given a Martin-L\"of random infinite binary sequence {\omega} and an effectively open set A of measure less than 1, some tail of {\omega} is not in A. We first prove several results in the same spirit and…

Let $b\geq3$ be an integer and $C(b,D)$ be the set of real numbers in $[0,1]$ whose $b$-ary expansion consists of digits restricted to a given set $D\subseteq\{0,\ldots,b-1\}$. Given an integer $t\geq2$ and a real, positive function $\psi$,…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

It is well-known that the consistency strength of the GCH failing at a measurable cardinal is the existence of a cardinal $\kappa$ with $o(\kappa)=\kappa^{++}$. As the literature does not contain more than a proof sketch of the lower bound…

A 1971 conjecture of Graham (later repeated by Erd\H{o}s and Graham) asserts that every set $A \subseteq \mathbb{F}_p \setminus \{0\}$ has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size $|A|…

We consider the 2D incompressible Euler equation on a bounded simply connected domain $\Omega$. We give sufficient conditions on the domain $\Omega$ so that for all initial vorticity $\omega_0 \in L^{\infty}(\Omega)$ the weak solutions are…

We develop in this paper the theory of covers for Hausdorff properly $\bigvee $-definable manifolds with definable choice in an o-minimal structure $\N$. In particular, we show that given an $\N$-definably connected $\N$-definable group $G$…

We show that for uniform domains $\Omega\subseteq \mathbb{R}^{d+1}$ whose boundaries satisfy a certain nondegeneracy condition that harmonic measure cannot be mutually absolutely continuous with respect to $\alpha$-dimensional Hausdorff…

It was proved by Gomori and Hu in 1961 that for every finite nonempty ultrametric space $(X,d)$ the following inequality $|\Sp(X)|\leqslant |X|-1$ holds with $\Sp(X)=\{d(x,y):x,y \in X, x\neq y\}$. We characterize the spaces $X$, for which…

Let $F(y):=\displaystyle\int_t^TL(s, y(s), y'(s))\,ds$ be a positive functional, unnecessarily autonomous, defined on the space $ W^{1,p}([t,T]; \mathbb R^n)$ ($p\ge 1$) of Sobolev functions, possibly with prescribed one or two end point…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

We improve the preceding results obtained by the first and the second authors in [3]. They concern the stability issue of the inverse problem that consists in determining the potential and the damping coefficient in a wave equation from an…

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

In this paper, we investigate the necessary sufficient conditions for the exactness of the homotopy sequence of Nori's fundamental group and apply these to various special situations to regain some classical theorems and give a counter…