arXiv++ Combinatorics

We announce the solution of 4+21+1/2 (!) problems posed in earlier issues of the SPM Bulletin; the ``1/2'' standing for a ``consistently yes'' answer of Zdomsky to the last issue's Problem of the Month.

It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of the reduced ultrapower w^w/U is greater than max{b,g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.

This is the ninth issue of this bulletin. CONTENTS: Proceedings of SPM Workshop; A brief remark on van der Waerden spaces; Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann; Cardinal invariants p, t and h and real functions; A comment on p<t; On squares of spaces and F_sigma-sets; Comparing the uniformity invariants of null sets for different measures; Maximal functions and the additivity of various families of null sets; How many miles to beta(omega)? -- Approximating beta(omega) by metric-dependent compactifications; The cardinal characteristic for relative gamma-sets; Uncountable intersections of open sets under CPA_prism; Covering R^{n+1} by graphs of n-ary functions and long linear orderings of Turing degrees; CONFERENCE: Foundations of the Formal Sciences V: Infinite Games; Problem of the month; Problems from earlier issues

Never has an issue of the SPM Bulletin contained as much interesting information as this issue does. In addition to the interesting research announcements, this issue contains announcements of solutions for three open problems, one of which being a Problem of the Month in an earlier issue. CONTENTS: The Reznichenko property and the Pytkeev property in hyperspaces; Between Maharam's and von Neumann's problems; Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups; Concerning problems about cardinal invariants on Boolean algebras; Small Locally Compact Linearly Lindelof Spaces; Luzin gaps; The weak Fréchet-Urysohn property in function spaces; $F$-Hurewicz spaces; Open problems in topology; The hyper-weak distributive law and a related game in Boolean algebras; Problem of Issue 7 solved; Errata to: Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures; The additivity number of the Menger and Scheepers properties; Conferences: Geometric Topology: Infinite-Dimensional Topology, Absolute Extensors, Applications; Problem of the month; Problems from earlier issues; References

The_Robin_Hood_ game is played as follows: On day i, the Sheriff puts s(i) bags of gold in the cave. On night i, Robin removes r(i) bags from the cave. The game is played for each natural nymber i. Robin wins if each bag which was put in the cave is eventually removed from it; otherwise the Sheriff wins. Gasarch, Golub, and Srinivasan studied the Robin Hood game in the case of random strategies where Robin has no historical memory. We extend their main result to the case of bounded historical memory, and obtain a hierarchy of provably distinct games.

This is the seventh issue of this bulletin, featuring a new form as well as a concise list of past open problems.

We survey some of the major open problems involving selection principles, diagonalizations, and covering properties in topology and infinite combinatorics. Background details, definitions and motivations are also provided.

After a long break, we are back with some very interesting research announcements and an open problem which is one of the most difficult, long lasting, and important problems in the field. A major change in this bulletin is that from now on it will usually not appear monthly, but more close to quarterly. Special announcements (if urgent) will be made by text emails. Contributions to the next issue are, as always, welcome.

We construct several topological groups with very strong combinatorial properties. In particular, we give simple examples of subgroups of the real line R (thus strictly o-bounded) which have the Hurewicz property but are not sigma-compact, and show that the product of two o-bounded subgroups of R^N may fail to be o-bounded, even when they satisfy the stronger property S1(Borel_Omega,Borel_Omega). This solves a problem of Tkacenko and Hernandez, and extends independent solutions of Krawczyk and Michalewski and of Banakh, Nickolas, and Sanchis. We also construct separable metrizable groups G of size continuum such that every countable Borel omega-cover of G contains a gamma-cover of G.

We describe a simple machinery which translates results on algebraic sums of sets of reals into the corresponding results on their cartesian product. Some consequences are: 1. The product of a meager/null-additive set and a strong measure zero/strongly meager set in the Cantor space has strong measure zero/is strongly meager, respectively. 2. Using Scheepers' notation for selection principles: Sfin(Omega,Omega^gp)\cap S1(O,O)=S1(Omega,Omega^gp), and Borel's Conjecture for S1(Omega,Omega) (or just S1(Omega,Omega^gp)) implies Borel's Conjecture. These results extend results of Scheepers and Miller, respectively.

*** Note the comment above *** This is a special issue dedicated to the announcement of Shelah's recent solution of the Minimal Tower problem, one of the oldest and most important problems in infinite combinatorics which also motivated some new studies in SPM (see fourth issue of this bulletin). We give some background and personal perspectives on the problem and its solution. We decided not to include additional research announcements in this issue, so to let them draw the attention they deserve in the coming issue. This issue also contains an interesting new problem which is related to the Minimal Tower problem (but still open).

This issue of the SPM Bulletin announces two conferences which are of interest to anyone working in SPM or general topology. In the second announced conference it is planned to have a significant part devoted to SPM. Those who are interested in participating should contact Ljubisa D. R. Kocinac at lkocinac@ptt.yu Kocinac is a very active mathematician in the field of SPM. We announce here one of his most recent works. The first issues of this bulletin, contain general information (first issue), basic definitions, research announcements, and open problems (all issues).

Motivated by the minimal tower problem, an earlier work studied diagonalizations of covers where the covers are related to linear quasiorders (tau-covers). We deal with two types of combinatorial questions which arise from this study. 1. Two new cardinals introduced in the topological study are expressed in terms of well known cardinals characteristics of the continuum. 2. We study the additivity numbers of the combinatorial notions corresponding to the topological diagonalization notions. This gives new insights on the structure of the eventual dominance ordering on the Baire space, the almost inclusion ordering on the Rothberger space, and the interactions between them.

A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect all neighborhoods of x. In their paper, Kocinac and Scheepers conjecture that the minimal cardinality of a set X of real numbers such that C_p(X) does not have the weak Frechet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space). We prove the Kocinac-Scheepers conjecture by showing that if C_p(X) has the Reznichenko property, then a continuous image of X cannot be a subbase for a non-feeble filter on the natural numbers.

In this issue we announce a fascinating series of works on the comparison of various types of convergence of sequences of functions. Some of these properties are provably related to some of the properties which were introduced in the earlier issues of the SPM Bulletin, and many problems remain open. Section 2, written by Lev Bukovský, contains a brief survey of some of the major open problems in this area. This issue gives the first example of the importance of the transmission of knowledge between the recipients of this bulletin: One of the announcements implies a solution to one of the problems posed in an independent paper announced here. looking forward to receive more announcements from other recipients and readers of the bulletin.

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some of the classes which were different for open covers are equal for Borel covers -- Section 1; 2. Some Borel classes coincide with classes that have been studied under a different guise by other authors -- Section 4.

This is the second issue of the SPM Bulletin (SPM stands for "Selection Principles in Mathematics"). The first issue is math.GN/0301011 and contains some background and details.

According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover to obtain a groupable cover of the space. We simplify the characterization further by omitting the need to consider sequences of covers: A set of reals $X$ satisfies the Hurewicz property if, and only if, each large open cover of $X$ contains a groupable subcover. This solves in the affirmative a problem of Scheepers. The proof uses a rigorously justified abuse of notation and a "structure" counterpart of a combinatorial characterization, in terms of slaloms, of the minimal cardinality b of an unbounded family of functions in the Baire space. In particular, we obtain a new characterization of $\b$.

This is the first issue of a semi-formal bulletin dealing with Selection Principles in Mathematics (SPM) -- this field deals with all sorts of studies of diagonalization arguments, especially in topology (covering properties, sequences of covers, etc.) and infinite combinatorics (cardinal characteristics of the continuum), and their applications to other areas of mathematics (function spaces, game theory, group theory, etc.)

Marion Scheepers, in his studies of the combinatorics of open covers, introduced the property Split(U,V) asserting that a cover of type U can be split into two covers of type V. In the first part of this paper we give an almost complete classification of all properties of this form where U and V are significant families of covers which appear in the literature (namely, large covers, omega-covers, tau-covers, and gamma-covers), using combinatorial characterizations of these properties in terms related to ultrafilters on N. In the second part of the paper we consider the questions whether, given U and V, the property Split(U,V) is preserved under taking finite unions, arbitrary subsets, powers or products. Several interesting problems remain open.