Related papers: Universally measurable sets in generic extensions

We extend the study of \emph{melonic} quartic tensor models to models with arbitrary quartic interactions. This extension requires a new version of the loop vertex expansion using several species of intermediate fields and iterated…

Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

We introduce a model of the set of all Polish (=separable complete metric) spaces: the cone $\cal R$ of distance matrices, and consider geometric and probabilistic problems connected with this object. The notion of the universal distance…

Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned…

We show that the Continuum Hypothesis implies that for every $0<d_1\leq d_2<n$ the measure spaces $(\RR^n,\iM_{\iH^{d_1}},\iH^{d_1})$ and $(\RR^n,\iM_{\iH^{d_2}},\iH^{d_2})$ are isomorphic, where $\iH^d$ is $d$-dimensional Hausdorff measure…

We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.

We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only…

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…

We generalize the concept of mutually unbiased bases (MUB) to measurements which are not necessarily described by rank one projectors. As such, these measurements can be a useful tool to study the long standing problem of the existence of…

The reach of a set $M \subset \mathbb R^d$, also known as condition number when $M$ is a manifold, was introduced by Federer in 1959. The reach is a central concept in geometric measure theory, set estimation, manifold learning, among…

It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group $S_\infty$ is continuous. It is…

For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…

Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two…

J. Zapletal asked if all the forcing notions considered in his monograph are homogeneous. Specifically, he asked if the forcing consisting of Borel sets of $\sigma$-finite 2-dimensional Hausdorff measure in $\mathbb{R}^3$ (ordered under…

In this article we will investigate nonmeasurability with respect to some $\sigma$-ideals in Polish space $X,$ of images of subsets of $X$ by selected mappings defined on the space $X$. Among of them we answer the following question: "It is…

We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for…

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…

Let $\{x\_n\}\_{n\geq 0}$ be a sequence of $[0,1]^d$, $\{\lambda\_n\} \_{n\geq 0}$ a sequence of positive real numbers converging to 0, and $\delta>1$. Let $\mu$ be a positive Borel measure on $[0,1]^d$, $\rho\in (0,1]$ and $\alpha>0$.…

Uniform measures are defined as the functionals on the space of bounded uniformly continuous functions that are continuous on bounded uniformly equicontinuous sets. If every cardinal has measure zero then every countably additive measure is…