arXiv++ Combinatorics

Contents: 1. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, I; 2. Frechet-Urysohn fans in free topological groups; 3. Packing index of subsets in Polish groups; 4. Symmetric monochromatic subsets in colorings of the Lobachevsky plane; 5. Structural Ramsey theory of metric spaces and topological dynamics of isometry groups; 6. Distinguishing Number of Countable Homogeneous Relational Structures; 7. Indestructible colourings and rainbow Ramsey theorems; 8. Products of Borel subgroups; 9. Selection theorems and treeability; 10. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, IV; 11. A property of Cp[0, 1]; 12. A Dedekind Finite Borel Set; 13. Aronszajn Compacta; 14. A strong antidiamond principle compatible with CH; 15. On the strength of Hausdorff's gap condition; 16. Nonhomogeneous analytic families of trees; 17. Reasonable non-Radon-Nikodym ideals; 18. Continuity and related forcing; 19. An exact Ramsey principle for block sequences; 20. Baire reflection; 21. Tukey classes of ultrafilters on; 22. Countably determined compact abelian groups; 23. A topological reflection principle equivalent to Shelah's Strong Hypothesis; 24. Superfilters, Ramsey theory, and van der Waerden's Theorem.

Superfilters are generalized ultrafilters, which capture the underlying concept in Ramsey theoretic theorems such as van der Waerden's Theorem. We establish several properties of superfilters, which generalize both Ramsey's Theorem and its variant for ultrafilters on the natural numbers. We use them to confirm a conjecture of Kočinac and Di Maio, which is a generalization of a Ramsey theoretic result of Scheepers, concerning selections from open covers. Following Bergelson and Hindman's 1989 Theorem, we present a new simultaneous generalization of the theorems of Ramsey, van der Waerden, Schur, Folkman-Rado-Sanders, Rado, and others, where the colored sets can be much smaller than the full set of natural numbers.

A set of natural numbers will be called \emph{harmonic} if the reciprocals of its elements form a divergent series. An ultrafilter of the natural numbers will he called \emph{harmonic} if all each members are harmonic sets. The harmonic ultrafilters are shown to constitute a compact semigroup under the Glazer addition and its smallest ideal is obtained. This paper is an extension of work begun by Hindman. Alle ingredients are found in the treatise by Hindman and Strauss.

Contents: 2. Invited contribution: Ultrafilters and small sets 3. Research announcements 3.1. Inverse Systems and I-Favorable Spaces 3.2. Combinatorial and hybrid principles for sigma-directed families of countable sets modulo finite 3.3. A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension 3.4. A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension 3.5. Large continuum, oracles 3.6. Borel hierarchies in infinite products of Polish spaces 3.7. A game for the Borel functions 3.8. On some problems in general topology 4. Problem of the Issue

This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as {arXiv:math/0702587v1} [math.HO] 20 Feb 2007. This paper was meant for a series of talks at the Bratislava Workshop on the density concept, May 2004. A number of the very many facets of ultrafilters are reviewed (some of them, a bit cursorily, as is to be expected in a short space, and time) including Condorcet's Paradox, ultraproducts and the theory of infinitesimals (non-standard analysis), Banach generalized limits in sequence spaces, Choquet's limits for families of closed sets in general topology and intrinsic geometry, representations of topologies as binary relations among ultrafilters, additive bases in number theory.

Contents of the issue: Selection Principles and special sets of reals: Open problems Winning the pressing down game but not Banach Mazur Ramsey classes of topological and metric spaces More on partitioning triples of countable ordinals Countable compact Hausdorff spaces need not be metrizable in ZF Every topological group is a group retract of a minimal group The complexity of classifying separable Banach spaces up to isomorphism Reals n-generic relative to some perfect tree Nagata's conjecture and countably compactifications in generic extensions A Class of Groups in Which All Unconditionally Closed Sets are Algebraic A c0-saturated Banach space with no long unconditional basic sequences Spaces of continuous functions over Dugundji compacta Varia: Ideals and Equivalence Relations, beta-version Equivariant embedding of metrizable G-spaces in linear G-spaces Squares of Menger-bounded groups kappa-Frechet-Urysohn property of Ck(X) How to drive our families mad Hurewicz sets of reals without perfect subsets The spectrum of characters of ultrafilters on w Spaces of functions with countably many discontinuities Can groupwise density be much bigger than the non-dominating number? Productive local properties of function spaces Pinning quasi orders with their endomorphisms A game on the universe of sets Algebraic characterizations of measure algebras

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.

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.

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.

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.

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.

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.