arXiv subjects

Valentin Haberl

Publications and source records attributed to Valentin Haberl.

4 recordsLinked to original sources

arXiv2025

Universally meager sets in the Miller model and similar ones

We work in the realm of sets of reals. We prove that in the Miller model and in a model constructed by Goldstern-Judah-Shelah all universally meager sets have size at most $\omega_1$. Some relations between combinatorial covering properties in these models allow to obtain the same limitations for sizes of Rothberger spaces and Hurewicz spaces with no homeomorphic copy of the Cantor set inside. It follows from our results that the existence of a strong measure zero set of size $\omega_2$ does not imply the existence of a Rothberger space of size $\omega_2$. We also prove that in the Miller model all strong measure zero sets have size at most $\omega_1$.

math.LO↗

arXiv2025

Concentrated sets and the Hurewicz property

A set of reals $X$ is $\mathfrak{b}$-concentrated if it has cardinality at least $\mathfrak{b}$ and it contains a countable set $D\subseteq X$ such that each closed subset of $X$ disjoint with $D$ has size smaller than $\mathfrak{b}$. We present ZFC results about structures of $\mathfrak{b}$-concentrated sets with the Hurewicz covering property using semifilters. Then we show that assuming that the semifilter trichotomy holds, then each $\mathfrak{b}$-concentrated set is Hurewicz and even productively Hurewicz. We also show that the appearance of Hurewicz $\mathfrak{b}$-concentrated sets under the semifilter trichotomy is somewhat specific and the situation in the Laver model for the consitency of the Borel Conjecture is different.

math.GN↗

arXiv2024

Menger and consonant sets in the Sacks model

Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant subsets of the Cantor cube in the Sacks model.

math.LO↗

arXiv2023

Concentrated sets and $\gamma$-sets in the Miller model

Using combinatorial covering properties, we show that there is no concentrated set of reals of size $\omega_2$ in the Miller model. The main result refutes a conjecture of Bartoszy\'{n}ski and Halbeisen. We also prove that there are no $\gamma$-set of reals of size $\omega_2$ in the Miller model.

math.GN↗