arXiv++ Combinatorics

We give a selection of major open problems involving selective properties, diagonalizations, and covering properties for sets of real numbers. This is a revision of the version published as a chapter in the book \textbf{Open Problems in Topology II} (E. Pearl, ed.), Elsevier B.V., 2007, 91--108. The present version reports solutions of some problems, uses up-to-date notation, and update bibliography. Comments and further updates would be appreciated.

CONTENTS: A surprising covering of the real line Unions of chains in dyadic compact spaces and topological groups On the Pytkeev property in spaces of continuous functions Selection principles related to alpha_i-properties On the Kocinac alpha_i properties A new selection principle First Countable Continua and Proper Forcing The convergence space of minimal usco mappings D-forced spaces: a new approach to resolvability Resolvability of spaces having small spread or extent Resolvability and monotone normality Isomorphism of Borel full groups A Poset Hierarchy Infinite asymptotic games Elementary submodels and separable monotonically normal compacta An application of CAT A general Stone representation theorem Measure Recognition Problem Cardinal invariants for C-cross topologies Problem of the Issue.

The Kocinac alpha_i properties, i=1,2,3,4, are generalizations of Arhangel'skii's alpha_i local properties. We give a complete classification of these properties when applied to the standard families of open covers of topological spaces or to the standard families of open covers of topological groups. One of the latter properties characterizes totally bounded groups. We also answer a question of Kocinac.

Motivated by a recent result of Sakai, we define a new selection operator for covers of topological spaces, inducing new selection hypotheses. We initiate a systematic study of the new hypotheses. Some intriguing problems remain open.

Answering a question of Sakai, we show that the minimal cardinality of a set of reals X such that C_p(X) does not have the Pytkeev property is equal to the pseudo-intersection number p. Our approach leads to a natural characterization of the Pytkeev property of C_p(X) by means of a covering property of X, and to a similar result for the Reznicenko property of C_p(X).

CONTENTS: Lecce Workshop presentations available online; Borel cardinalities below c_0; Hereditarily non-topologizable groups; A hodgepodge of sets of reals; Random gaps; Covering a bounded set of functions by an increasing chain of slaloms; Baire-one mappings contained in a usco map; Applications of k-covers II; Additivity numbers of covering properties; Combinatorial images of sets of reals and semifilter trichotomy; Another algebraic equivalent of the Continuum Hypothesis; A connection between decomposable ultrafilters and possible cofinalities II; Game Approach to Universally Kuratowski-Ulam Spaces; On the density of Banach spaces C(K) with the Grothendieck property; Antichains in partially ordered sets of singular cofinality; Bolzano-Weierstrass principle of choice extended towards ordinals; Nonequality of Dimensions for Metric Groups; Not all pure states on B(H) are diagonalizable; A comment on p<t; Problem of the Issue.

Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm of the trichotomy axiom for upward closed families of sets of natural numbers. While it is now known that the answer to the Hurewicz 1927 problem is positive, it is shown here that semifilter trichotomy implies a negative answer to a slightly weaker form of this problem.

The_additivity_number_ of a topological property (relative to a given space) is the minimal number of subspaces with this property whose union does not have the property. The most well-known case is where this number is greater than Aleph_0, i.e. the property is sigma-additive. We give a rather complete survey of the known results about the additivity numbers of a variety of topological covering properties, including those appearing in the Scheepers diagram (which contains, among others, the classical properties of Menger, Hurewicz, Rothberger, and Gerlits-Nagy). Some of the results proved here were not published beforehand, and many open problems are posed.

CONTENTS OF THE ISSUE: Hurewicz-like tests for Borel subsets of the plane; Ordered Spaces, Metric Preimages, and Function Algebras; On the independence of a generalized statement of Egoroff's theorem from ZFC, after T. Weiss; Forty annotated questions about large topological groups; Strong compactness and a partition property; Countable Borel equivalence relations and quotient Borel spaces; Decisive creatures and large continuum; Models of real-valued measurability; Hausdorff ultrafilters; Block combinatorics; Maharam's problem; Universality of uniform Eberlein compacta; Linearly ordered compacta and Banach spaces with a projectional resolution of the identity; Steinhaus Sets and Jackson Sets; Problem of the Issue; Problems from earlier issues.

In a previous work with Mildenberger and Shelah, we showed that the combinatorics of the selection hypotheses involving tau-covers is sensitive to the selection operator used. We introduce a natural generalization of Scheepers' selection operators, and show that: (1) A slight change in the selection operator, which in classical cases makes no difference, leads to different properties when tau-covers are involved. (2) One of the newly introduced properties sheds some light on a problem of Scheepers concerning tau-covers. Improving an earlier result, we also show that no generalized Luzin set satisfies U_fin(Gamma,Tau).

CONTENTS: On Selective screenability and examples of R. Pol. Workshops and conferences: The Oxford Conference on Topology and Computer Science in Honour of Peter Collins and Mike Reed; Boise Extravaganza In Set Theory (BEST2006). Research announcements: The isometry group of the Urysohn space as a Levy group; Chasing Silver; Disjoint Non-Free Subgoups of Abelian Groups; Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts; A Vitali set can be homeomorphic to its complement; o-Boundedness of free objects over a Tychonoff space; On the consistency strength of the Milner-Sauer conjecture; Reconstruction of manifolds and subsets of normed spaces from subgroups of their homeomorphism groups; Reconstruction theorem for homeomorphism groups without small sets and non-shrinking functions of a normed space; Locally Moving Groups and the Reconstruction Problem for Chains and Circles; Divisibility of countable metric spaces; Pre-compact families of finite sets of integers and weakly null sequences in Banach spaces; A semifilter approach to selection principles II: tau^*-covers; Parametrizing the abstract Ellentuck theorem; A notion of selective ultrafilter corresponding to topological Ramsey spaces; Compact spaces generated by retractions; Gromov-Hausdorff ultrametric; Computing the complexity of the relation of isometry between separable Banach spaces; On some classes of Lindelöf Sigma-spaces; On the depth of Boolean algebras. Problem of the Issue.

We establish a surprising connection between Menger's classical covering property and Blass's modern combinatorial notion of groupwise density. This connection implies a short proof of the groupwise density bound on the additivity number for Menger's property.

CONTENTS: New reals: Can live with them, can live without them; Uniform almost everywhere domination; Heredity of tau-pseudocompactness; Understanding preservation theorems: omega^omega-bounding; Classification problems in continuum theory; Residuality of families of F_sigma sets; First countable, countably compact spaces and the continuum hypothesis; Game approach to universally Kuratowski-Ulam spaces; Small Valdivia compact spaces; Canonical forms of Borel functions on the Milliken space; Complete analytic equivalence relations; The Number of Near-Coherence Classes of Ultrafilters is Either Finite or 2^c; The complexity of recursion theoretic games; Cosmic dimension; There is no categorical metric continuum; On a conjecture and a problem of Hurewicz; Problem of the Issue.

Contents of this issue: Workshops on SPM themes; Second workshop on Coverings, Selections and Games in Topology (SPM05); Analysis and Descriptive Set Theory Workshop; Descriptive set theory: Effective methods, equivalence relations; Analysis: typical functions, level sets structure; Organizational and additional details; Research announcements; Cardinal restrictions on some homogeneous compacta; Filters: Topological congruence relations on groups; Inverse Limits and Function Algebras; Ultrafilters and partial products of infinite cyclic groups; More on regular reduced products; Consistency of ``the ideal of null restricted to some A is kappa-complete not kappa^+-complete, kappa weakly inaccessible and cov(M)=aleph_1''; On removing one point from a compact space; Problems from earlier issues.

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.

Menger's basis property is a generalization of $σ$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $σ$-compact sets of reals with Menger's property. Special instances of these constructions give known counterexamples to conjectures of Menger and Hurewicz. We obtain the first explicit solution to the Hurewicz 1927 problem, that was previously solved by Chaber and Pol on a dichotomic basis. The constructed sets generate nontrivial subfields of the real line with strong combinatorial properties, and most of our results can be stated in a Ramsey-theoretic manner. Since we believe that this paper is of interest to a diverse mathematical audience, we have made a special effort to make it self-contained and accessible.

In this issue we celebrate the appearance of the proceedings of the first SPM Workshop, announce several mathematical breakthroughs, have two extended contributions by Babinkostova, and a new open problem by Kalenda. Contents: Editor's note; Proceedings of the first workshop on Coverings, Selections, and Games in Topology; A five element basis for the uncountable linear orders; Set mapping reflection; The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis; A solution to the L space problem and related ZFC constructions; Countable Tightness, Elementary Submodels and Homogeneity; No transcendence basis of R over Q can be an analytic set; Two properties of C_p(X) weaker than Fr'echet Urysohn property; Some partition properties for measurable colourings of (\aleph_1)^2; Potential theory and forcing; On decompositions of Banach spaces of continuous functions on Mr'owka's spaces; A note on D-spaces; Set-theoretic properties of Schmidt's ideal; Almost-disjoint coding and strongly saturated ideals; Selective screenability and covering dimension; On a problem of Rothberger and Sierpinski; Problem of the Issue; Problems from earlier issues;

This issue contains, in addition to the usual contents, a special festive announcement: A book. This book by Banakh and Zdomsky seems to be the first in a planned series by these authors. We believe that the book will become a cornerstone in many future mathematical investigations, in particular in the field of infinite-combinatorial topology. The book's preliminary version is available online, as seen in the announcement, and the readers of the SPM Bulletin are encouraged to take a look and make comments. Zdomsky has also made two detailed contributions to this issue. This is the ideal form of a contribution to the SPM Bulletin, and we urge all contributors to consider this possibility from time to time. 1 Editor's note; 2 Research announcements; 2.1 On subclasses of weak Asplund spaces; 2.2 The number of translates of a closed nowhere dense set required to cover a Polish group; 2.3 More on convexity numbers of closed sets in R^n; 2.4 A new book: Coherence of Semifilters; 3 Characterization of topological spaces with (strictly) o-bounded free topological group; 4 An equivalent of SPM Bulletin 2's Problem of the month; 5 Boise Extravaganza In Set Theory (March 25--27, 2005); 6 Problem of the Issue; 7 Problems from earlier issues; References

We solve four out of the six open problems concerning critical cardinalities of topological diagonalization properties involving tau-covers, show that the remaining two cardinals are equal, and give a consistency result concerning this remaining cardinal. Consequently, 21 open problems concerning potential implications between these properties are settled. We also give structural results based on the combinatorial techniques.

We give a light introduction to selection principles in topology, a young subfield of infinite-combinatorial topology. Emphasis is put on the modern approach to the problems it deals with. Recent results are described, and open problems are stated. Some results which do not appear elsewhere are also included, with proofs.