Related papers: Elementarity and dimensions

In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…

Given a compact K\"ahler manifold $(X,\omega)$, due to the work of Darvas-Di Nezza-Lu, the space of singularity types of $\omega$-psh functions admits a natural pseudo-metric $d_\mathcal S$ that is complete in the presence of positive mass.…

This paper aims to propose a direct approach to solve the Plateau's problem in codimension higher than one. The problem is formulated as the minimization of the Hausdorff measure among a family of $d$-rectifiable closed subsets of $\mathbb…

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where $X$ is a definable set and $R$ is the universe of the…

Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$-definable metric space is an $R$-definable function of the parameters defining the metric space. We also show that the Hausdorff dimension…

We prove a version of the Erd\H{o}s--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every…

We establish a regularity result for the metric on any 4-dimensional extremal K\"ahler manifold, and a weak compactness theorem on the space of such metrics. Specifically, the sectional curvature at a point is bounded when the quantity…

We prove a compactness and semicontinuity result that applies to minimisation problems in nonhomogeneous linear elasticity under Dirichlet boundary conditions. This generalises a previous compactness theorem that we proved and employed to…

If $(X,d)$ is a metric space then the map $f\colon X\to X$ is defined to be a weak contraction if $d(f(x),f(y))<d(x,y)$ for all $x,y\in X$, $x\neq y$. We determine the simplest non-closed sets $X\subseteq \mathbb{R}^n$ in the sense of…

We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties.…

Motivated by results of Juh\'asz and van Mill in [13], we define the cardinal invariant $wt(X)$, the weak tightness of a topological space $X$, and show that $|X|\leq 2^{L(X)wt(X)\psi(X)}$ for any Hausdorff space $X$ (Theorem 2.8). As…

Generalizing de Vries Compactification Theorem and strengthening Leader Local Compactification Theorem, we describe the partially ordered set $(\LL(X),\le)$ of all (up to equivalence) locally compact Hausdorff extensions of a Tychonoff…

We establish versions of Szeg\H{o}'s distance formula and Widom's theorem on invertibility of (a family of) Toeplitz operators in a class of finite codimension subalgebras of uniform algebras, obtained by imposing a finite number of linear…

The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…

Lindstr\"om theorem obviously fails as a characterization of $\mathcal{L}_{\omega \omega}^{-} $, first-order logic without identity. In this note we provide a fix: we show that $\mathcal{L}_{\omega \omega}^{-} $ is \emph{maximal} among…

We give a new simple proof of Dehn's theorem by generalizing the notion of area. The method proposed in the present article is actually the "translation" of the method of additive functions into the elementary math language.

Lawson and Osserman proved that the Dirichlet problem for the minimal surface system is not always solvable in the class of Lipschitz maps. However, it is known that minimizing sequences (for area) of Lipschitz graphs converge to objects…

Let \({\mathbb K}\) be any field, let \(X\subset {\mathbb P}^{k-1}\) be a set of \(n\) distinct \({\mathbb K}\)-rational points, and let \(a\geq 1\) be an integer. In this paper we find lower bounds for the minimum distance \(d(X)_a\) of…

We prove that a region in a two-dimensional affine subspace of a normed space $V$ has the least 2-dimensional Hausdorff measure among all compact surfaces with the same boundary. Furthermore, the 2-dimensional Hausdorff area density admits…