Related papers: Uniform measures and countably additive measures
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…
Magnitude is a numerical invariant of finite metric spaces, recently introduced by T. Leinster, which is analogous in precise senses to the cardinality of finite sets or the Euler characteristic of topological spaces. It has been extended…
We associate to every function $u\in GBD(\Omega)$ a measure $\mu_u$ with values in the space of symmetric matrices, which generalises the distributional symmetric gradient $Eu$ defined for functions of bounded deformation. We show that this…
We study the cardinal invariants of measure and category after adding one random real. In particular, we show that the number of measure zero subsets of the plane which are necessary to cover graphs of all continuous functions maybe large…
We regard Forcing Notions P adding real numbers and the algebras of P-measurable sets. As for Cohen- and Random-Forcing we can show that each analytic set is P-measurable using Solovay's Unfolding Trick for infinite games. To show this we…
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…
We prove in particular that the Lipschitz-free space over a finitely-dimensional normed space is complemented in its bidual. For Euclidean spaces the norm of the respective projection is $1$. As a tool to obtain the main result we establish…
We study finitely additive extensions of the asymptotic density to all the subsets of natural numbers. Such measures are called density measures. We consider a class of density measures constructed from free ultrafilters on $\mathbb{N}$ and…
We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for $\Pi^1_1$-sets of positive measure to computability and semicomputability relative to the Suslin…
Quantum measurements are noncontextual, with outcomes independent of which other commuting observables are measured at the same time, when consistently analyzed using principles of Hilbert space quantum mechanics rather than classical…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…
We assume that $\Omega \subset \mathbb{R}^{d+1}$, $d \geq 2$, is a uniform domain with lower $d$-Ahlfors-David regular and $d$-rectifiable boundary. We show that if $\mathcal{H}^d|_{\partial \Omega}$ is locally finite, then the Hausdorff…
A compactly generated group is noncompact if and only if it admits a nonconstant harmonic function (for some, equivalently for every, reasonable measure). This generalizes the known fact that a finitely generated group is infinite if and…
The concepts of amenable and compatible functions have been introduced in a recent work, in order to state precise mathematical theorems that guarantee that a backward stable algorithm is also forward stable, and that the composition of two…
We study the multifractal analysis of self-similar measures arising from random homogeneous iterated function systems. Under the assumption of the uniform strong separation condition, we see that this analysis parallels that of the…
The measurability by means of continuous measurements, of an observable $\A(t_0)$, at an instant, and of a time averaged observable, $\bar \A=1/T\int \A(t')dt'$, is examined for linear and in particular for non-linear quantum mechanical…
Fatou's lemma is a classic fact in real analysis that states that the limit inferior of integrals of functions is greater than or equal to the integral of the inferior limit. This paper introduces a stronger inequality that holds uniformly…
The variant of calculation of functions of set and their application is offered. In particular: the new measure of system of sets generalizing classical concept of a measure is entered; the variation of set that has allowed to construct a…
We study the approximation of non-negative multi-variate couplings in the uniform norm while matching given single-variable marginal constraints.