SearcharxivSearch

arXiv subjects

Michal Machura

Publications and source records attributed to Michal Machura.

3 recordsLinked to original sources

On critical cardinalities related to $Q$-sets

In this note we collect some known information and prove new results about the small uncountable cardinal $\mathfrak q_0$. The cardinal $\mathfrak q_0$ is defined as the smallest cardinality $|A|$ of a subset $A\subset \mathbb R$ which is not a $Q$-set (a subspace $A\subset\mathbb R$ is called a $Q$-set if each subset $B\subset A$ is of type $F_σ$ in $A$). We present a simple proof of a folklore fact that $\mathfrak p\le\mathfrak q_0\le\min\{\mathfrak b,\mathrm{non}(\mathcal N),\log(\mathfrak c^+)\}$, and also establish the consistency of a number of strict inequalities between the cardinal $\mathfrak q_0$ and other standard small uncountable cardinals. This is done by combining some known forcing results. A new result of the paper is the consistency of $\mathfrak{p} < \mathfrak{lr} < \mathfrak{q}_0$, where $\mathfrak{lr}$ denotes the linear refinement number. Another new result is the upper bound $\mathfrak q_0\le\mathrm{non}(\mathcal I)$ holding for any $\mathfrak q_0$-flexible cccc $σ$-ideal $\mathcal I$ on $\mathbb R$.

math.LO

Squares of Menger-bounded groups

Using the Continuum Hyporthesis, we prove that there is a Menger-bounded (also called o-bounded) subgroup of the Baer-Specker group Z^N, whose square is not Menger-bounded. This settles a major open problem concerning boundedness notions for groups, and implies that Menger-bounded groups need not be Scheepers-bounded. This also answers some questions of Banakh, Nickolas, and Sanchis.

math.GN

The combinatorics of the Baer-Specker group

Denote the integers by Z and the positive integers by N. The groups Z^k (k a natural number) are discrete, and the classification up to isomorphism of their (topological) subgroups is trivial. But already for the countably infinite power Z^N of Z, the situation is different. Here the product topology is nontrivial, and the subgroups of Z^N make a rich source of examples of non-isomorphic topological groups. Z^N is the Baer-Specker group. We study subgroups of the Baer-Specker group which possess group theoretic properties analogous to properties introduced by Menger (1924), Hurewicz (1925), Rothberger (1938), and Scheepers (1996). The studied properties were introduced independently by Kočinac and Okunev. We obtain purely combinatorial characterizations of these properties, and combine them with other techniques to solve several questions of Babinkostova, Kočinac, and Scheepers.

math.GN