Related papers: Note on $s_0$ nonmeasurable unions

We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…

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…

Let $C$ be the middle-third Cantor set. Define $C*C=\{x*y:x,y\in C\}$, where $*=+,-,\cdot,\div$ (when $*=\div$, we assume $y\neq0$). Steinhaus \cite{HS} proved in 1917 that \[ C-C=[-1,1], C+C=[0,2]. \] In 2019, Athreya, Reznick and Tyson…

The aim of this paper is to provide the results that answer the Kuratowski problem posed in 1935 concerning the existence of nonmeasurable sets. The Kuratowski problem was considered for partitions, here we provide a generalization to…

The Steinhaus-Weil theorem that concerns us here is the simple, or classical, `interior-points' property -- that in a Polish topological group a non-negligible set B has the identity as an interior point of $BB^{-1}$. There are various…

Let $n>s>0$ be integers, $X$ an $n$-element set and $\mathscr{A}, \mathscr{B}\subset 2^X$ two families. If $|A\cup B|\le s$ for all $A\in\mathscr{A}, B\in \mathscr{B}$, then $\mathscr{A}$ and $\mathscr{B}$ are called cross $s$-union.…

We show that, for a coanalytic subspace $X$ of $2^\omega$, the countable dense homogeneity of $X^\omega$ is equivalent to $X$ being Polish. This strengthens a result of Hru\v{s}\'ak and Zamora Avil\'es. Then, inspired by results of…

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

Hurewicz proved completely metrizable Menger spaces are /sigma-compact. We extend this to Cech-complete Menger spaces and consistently to projective Menger metrizable spaces. On the other hand, it is consistent that there is a co-analytic…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

We introduce the notion of $K$-ideals associated with Kuratowski partitions and we prove that each $\kappa$-complete ideal on a measurable cardinal $\kappa$ can be represented as a $K$-ideal. Moreover, we show some results concerning…

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.

An uncountable $\aleph_1$-free group cannot admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed, for example, by the Baer-Specker group $\mathbb{Z}^\omega$; more strongly, $\mathbb{Z}^\omega$ is…

We show that a family of random variables is uniformly integrable if and only if it is stochastically bounded in the increasing convex order by an integrable random variable. This result is complemented by proving analogous statements for…

We prove that on the Baire space $(D^{\kappa},\pi)$, $\kappa \geq \omega_0$ where $D$ is a uniformly discrete space having $\omega _1$-strongly compact cardinal and $\pi$ denotes the product uniformity on $D^\kappa$, there exists a…

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products,…

We prove that the existence of a non-special tree of size $\lambda$ is equivalent to the existence of an uncountably chromatic graph with no $K_{\omega_1}$ minor of size $\lambda$, establishing a connection between the special tree number…

F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…

Denote by $[0,\omega_1)$ the set of countable ordinals, equipped with the order topology, let $L_0$ be the disjoint union of the compact ordinal intervals $[0,\alpha]$ for $\alpha$ countable, and consider the Banach spaces $C_0[0,\omega_1)$…

The classical Stern sequence of positive integers was extended to a polynomial sequence $S_n(\lambda)$ by Klav\v{z}ar et. al. by defining $S_0(\lambda) = 0$, $S_1(\lambda) = 1$, and $$S_{2n}(\lambda) = \lambda S_n(\lambda),\quad…