Related papers: Note on $s_0$ nonmeasurable unions

A denumerable cellular family of a topological space $\mathbf{X}$ is an infinitely countable collection of pairwise disjoint non-empty open sets of $ \mathbf{X}$. It is proved that the following statements are equivalent in $\mathbf{ZF}$:…

We prove that there exists a $\Sigma^0_1$ closed subset of $[0,1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0,1]$ that admit a computably compact presentation is not…

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

We prove that a Hausdorff locally compact semitopological bicyclic semigroup with adjoined zero $\mathscr{C}^0$ is either compact or discrete. Also we show that the similar statement holds for a locally compact semitopological bicyclic…

We provide a ZFC example of a compact space K such that C(K)* is w*-separable but its closed unit ball is not w*-separable. All previous examples of such kind had been constructed under CH. We also discuss the measurability of the supremum…

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit…

A C*-algebra $A$ is said to be stable if it is isomorphic to $A \otimes K(\ell_2)$. Hjelmborg and R\o rdam have shown that countable inductive limits of separable stable C*-algebras are stable. We show that this is no longer true in the…

As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by…

For a subset $A$ of a Polish group $G$, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of $A$, equal to the supremum of cardinalities $|S|$ of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is…

We give a counterexample to a conjecture of S.E. Morris by showing that there is a compact plane set X such that R(X) has no non-zero, bounded point derivations but such that R(X) is not weakly amenable. We also give an example of a…

We show the singular ideal in a non-Hausdorff \'etale groupoid C*-algebra is zero if and only if every unit is contained, at the level of group representation theory, in the collection of subgroups of the unit's isotropy group obtained as…

For $\mu, \kappa$ infinite, say $\mathcal{A}\subseteq [\kappa]^\kappa$ is a $(\mu,\kappa)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<\mu}$ then…

We show that (in ZFC) every infinite set S can be equipped with 2^|S| complete metrics which generate mutually non-homeomorphic scattered order topologies on S. Furthermore, we show that (in ZFC) every uncountable set S can be equipped with…

We study maximal orthogonal families of Borel probability measures on $2^\omega$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a…

Suppose that $X$ is a Banach space. We will show that $X$ does not contain a copy of $c_0$ if and only if for each series which is not unconditionally convergent in $X$ respective sets coding all bounded subseries and rearrangements are…

Let $\mathcal{M}$ be a $W^*$-factor and let $S\left( \mathcal{M} \right) $ be the space of all measurable operators affiliated with $\mathcal{M}$. It is shown that for any self-adjoint element $a\in S(\mathcal{M})$ there exists a scalar…

We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$ of normal positive linear functionals on $\sM$, the inequality: $$ \lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a countable family…

We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(\omega)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost…

A set $M\subset\mathbb{R}$ is microscopic if for each $\varepsilon>0$ there is a sequence of intervals $(J_n)_{n\in\omega}$ covering $M$ and such that $|J_n|\leq \varepsilon^{n+1}$ for each $n\in\omega$. We show that there is a microscopic…

In this paper, we discuss the fixed point property for an infinite family of order-preserving mappings which satisfy the Lipschitzian condition on comparable pairs. The underlying framework of our main results is a metric space of any…