Related papers: On Stoltenberg's quasi-uniform completion
The convergence theory for the set of simultaneously $\psi$-approximable points lying on a planar curve is established. Our results complement the divergence theory developed in `Diophantine approximation on planar curves and the…
In this paper we consider partial metric spaces in the sense of O'Neill. We introduce the notions of strong partial metric spaces and Cauchy functions. We prove a fixed point theorem for such spaces and functions that improves Matthews'…
We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…
A short proof of a conjecture of Kropholler is given. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, that gives…
In the paper we apply some of the results from the theory of ball spaces in the semimetric spaces. This allowed us to obtain some fixed point theorems which we believe to be unknown to this day. We also show the limitations of the ball…
The purpose of this article is to give a short introduction to the concept of quasi-unitary equivalence of quadratic forms and its consequences. In particular, we improve an estimate concerning the transitivity of quasi-unitary equivalence…
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness…
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…
The completeness properties of spaces of immersed curves equipped with reparametrization-invariant Riemannian metrics have recently been the subject of active research. This thesis studies the metric completion of spaces of immersed open…
The perturbative Chern-Simons theory for knots in Euclidean space is a linear combination of integrals on configuration spaces. This has been successively studied by Bott and Taubes, Altschuler and Freidel, and Yang. We study it again in…
We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Doucha, Nies, and Tsankov, which are largely incompatible. With this we explicitly exhibit…
Chaitin's incompleteness theorem states that sufficiently rich formal systems cannot prove lower bounds on Kolmogorov complexity. In this paper we extend this theorem by showing theories that prove the Kolmogorov complexity of a large (but…
The Schur-Horn theorem is a classical result in matrix analysis which characterizes the existence of positive semidefinite matrices with a given diagonal and spectrum. In recent years, this theorem has been used to characterize the…
S. Axelrod and I.M. Singer constructed a compactification of the configuration space of distinct points in a Riemannian manifold V. A similar compactification for the moduli space of configurations of distinct points in the plane (mod the…
The new concepts are introduced of almost overcomplete sequence in a Banach space and almost overtotal sequence in a dual space. We prove that any of such sequences is relatively norm-compact and we obtain several applications of this fact.
In the category \(\mathbf{V}\) of unital archimedean vector lattices, four notions of uniform completeness obtain. In all cases completeness requires the convergence of uniformly Cauchy sequences; the completions are distinguished by the…
The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in…
The class of convex sets that admit approximations as Minkowski sum of a compact convex set and a closed convex cone in the Hausdorff distance is introduced. These sets are called approximately Motzkin-decomposable and generalize the notion…
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…