Source author record

Michal Machura

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.LO math.CO math.GR

Catalog footprint

Research overview

3works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

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$ .

preprint2010arXiv

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.

preprint2010arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Michal Machura

Research overview

Is this your work?

3 publications

On critical cardinalities related to $Q$ -sets

Squares of Menger-bounded groups

The combinatorics of the Baer-Specker group

See the researcher in context

Building this map preview

Michal Machura

Research overview

Is this your work?

3 publications

On critical cardinalities related to QQQ-sets

Squares of Menger-bounded groups

The combinatorics of the Baer-Specker group

See the researcher in context

Building this map preview

On critical cardinalities related to $Q$ -sets