Related papers: Universally measurable sets in generic extensions

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

We study rational functions satisfying summability conditions - a family of weak conditions on the expansion along the critical orbits. Assuming their appropriate versions, we derive many nice properties: There exists a unique, ergodic, and…

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

In this article we study for which Cantor sets there exists a gauge-function h, such that the h-Hausdorff-measure is positive and finite. We show that the collection of sets for which this is true is dense in the set of all compact subsets…

We show that there exists a family of mutually singular doubling measures on Laakso space with respect to which real-valued Lipschitz functions are almost everywhere differentiable. This implies that there exists a measure zero universal…

We construct a topos in which the Dedekind reals are countable. The topos arises from a new kind of realizability, which we call parameterized realizability, based on partial combinatory algebras whose application depends on a parameter.…

Furstenberg, Katznelson and Weiss proved in the early 1980s that every measurable subset of the plane with positive density at infinity has the property that all sufficiently large real numbers are realised as the Euclidean distance between…

For $q>1$ we consider expansions in base $q$ over the alphabet $\{0,1,q\}$. Let $\mathcal{U}_q$ be the set of $x$ which have a unique $q$-expansions. For $k=2, 3,\cdots,\aleph_0$ let $\mathcal{B}_k$ be the set of bases $q$ for which there…

For every couple of Hausdorff functions $ \psi$ and $\varphi $ verifying some mild assumptions, there exists a compact subset $ K $ of the Baire space such that the $ \varphi$-Hausdorff measure and the $ \psi$-packing measure on $ K$ are…

All spaces are assumed to be infinite Hausdorff spaces. We call a space "anti-Urysohn" $($AU in short$)$ iff any two non-emty regular closed sets in it intersect. We prove that $\bullet$ for every infinite cardinal ${\kappa}$ there is a…

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a…

Cantor sets in \(\mathbb{R}\) are common examples of sets for which Hausdorff measures can be positive and finite. However, there exist Cantor sets for which no Hausdorff measure is supported and finite. The purpose of this paper is to try…

In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_\delta$ set (in the weak topology). In particular, this set is…

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal…

We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve…

In 1987, I. Labuda proved a general representation theorem that, as a special case, shows that the topology of local convergence in measure is the minimal topology on Orlicz spaces and $L_{\infty}$. Minimal topologies connect with the…

Ulam asked in 1945 if there is an everywhere dense \emph{rational set}, i.e. a point set in the plane with all its pairwise distances rational. Erd\H os conjectured that if a set $S$ has a dense rational subset, then $S$ should be very…

For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense…

Unavoidable disturbance caused by a quantum measurement implies that the realizable subsequent measurements are getting limited after one performs some measurement. The obvious general limitation that one cannot circumvent by sequential or…

Recently, mass transference principles in metric number theory extend towards two direction. On one hand, the shape of the approximating sets can be taken of various shape, balls, rectangles or even general open sets (one refers to some…