Related papers: Universally measurable sets in generic extensions

Continuity of measure asserts that the measure of the union of an increasing sequence of sets is equal to the supremum of the measures of those sets. We provide counter examples in the case of uncountable unions. We construct the first…

We prove that it is relatively consistent with $\mathrm{ZFC}$ that every strong measure zero subset of the real line is meager-additive while there are uncountable strong measure zero sets (i.e., Borel's conjecture fails). This answers a…

This survey paper is based on a talk given at the 44th Summer Symposium in Real Analysis in Paris. This line of research was initiated by a question of Haight and Weizs\"aker concerning almost everywhere convergence properties of series of…

In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some…

A result of P. Tukia from 1989 says that Lebesgue measure on $\mathbb{R}$ has conformal dimension zero: for every $\epsilon > 0$, there is a Borel set $G \subset \mathbb{R}$ of full Lebesgue measure, and a quasisymmetric homeomorphism $f…

According to Kat\vetov (1988), for every infinite cardinal $\mathfrak m$ satisfying ${\mathfrak m}^{\mathfrak n}\leq {\mathfrak m}$ for all ${\mathfrak n}<{\mathfrak m}$, there exists a unique $\mathfrak m$-homogeneous universal metric…

In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…

Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…

For each $n$, we construct a separable metric space $\mathbb{U}_n$ that is universal in the coarse category of separable metric spaces with asymptotic dimension ($\mathop{asdim}$) at most $n$ and universal in the uniform category of…

We contribute to the study of $\aleph_1$-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is consistent with $\textsf{MA}$ that there exists an…

We present and study new definitions of universal and programmable universal unary functions and consider a new simplicity criterion: almost decidability of the halting set. A set of positive integers S is almost decidable if there exists a…

WWe define the notion of a random metric space and prove that with probability one such a space is isometricto the Urysohn universal metric space. The main technique is the study of universal and random distance matrices; we relate the…

In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various…

The concept of uniform distribution in $[0,1]$ is extended for a certain strictly separated maximal (in the sense of cardinality) family $(\lambda_t)_{t \in [0,1]}$ of invariant extensions of the linear Lebesgue measure $\lambda$ in…

We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff…

We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set $\mathcal{U}$ for $\Sigma^{1}_{1}$ subsets of $( 0 ; 1 )$ in terms of the density function; specifically $\mathcal{U}$…

We develope a new and general notion of parametric measure models and statistical models on an arbitrary sample space $\Omega$ which does not assume that all measures of the model have the same null sets. This is given by a diffferentiable…

In this paper, generalized metrics mean metrics taking values in general linearly ordered Abelian groups. Using the Hahn fields, we first prove that for every generalized metric space, if the set of the Archimedean equivalence classes of…