The author has recently shown (2014) that separable, selectively (a)-spaces cannot include closed discrete subsets of size . It follows that, assuming CH, separable selectively (a)-spaces necessarily have countable extent. However, in the same paper it is shown that the weaker hypothesis "$2^{\aleph ₀}<2^{\aleph ₁}$" is not enough to ensure the countability of all closed discrete subsets of such spaces. In this paper we show that if one adds the hypothesis of local compactness, a specific effective (i.e., Borel) parametrized...

A theorem is proved which could be considered as a bridge between the combinatorics which have a beginning in the dyadic spaces theory and the partition calculus.

The Todorcevic ordering 𝕋(X) consists of all finite families of convergent sequences in a given topological space X. Such an ordering was defined for the special case of the real line by S. Todorcevic (1991) as an example of a Borel ordering satisfying ccc that is not σ-finite cc and even need not have the Knaster property. We are interested in properties of 𝕋(X) where the space X is taken as a parameter. Conditions on X are given which ensure the countable chain condition and its stronger versions...

If there is no inner model with measurable cardinals, then for each cardinal $\lambda$ there is an almost disjoint family ${𝒜}_{\lambda }$ of countable subsets of $\lambda$ such that every subset of $\lambda$ with order type $\ge {\omega }^2$ contains an element of ${𝒜}_{\lambda }$.

We list some open problems concerning the polarized partition relation. We solve a couple of them, by showing that for every limit non-inaccessible ordinal α there exists a forcing notion ℙ such that the strong polarized relation $\left(\genfrac{}{}{0pt}{}{{\aleph }_{\alpha +1}}{{\aleph }_{\alpha }}\right)\to {\left(\genfrac{}{}{0pt}{}{{\aleph }_{\alpha +1}}{{\aleph }_{\alpha }}\right)}_2^{1,1}$ holds in $V^{\mathbb{P}}$.

In this paper, motivated by questions in Harmonic Analysis, we study the operation of (countable) increasing union, and show it is not idempotent: ${\omega }_1$ iterations are needed in general to obtain the closure of a class under this operation. Increasing union is a particular Hausdorff operation, and we present the combinatorial tools which allow to study the power of various Hausdorff operations, and of their iterates. Besides countable increasing union, we study in detail a related Hausdorff operation,...

The basic result of this note is a statement about the existence of families of partitions of the set of natural numbers with some useful properties, the n-optimal matrices of partitions. We use this to improve a decomposition result for strongly homogeneous Souslin trees. The latter is in turn applied to separate strong notions of rigidity of Souslin trees, thereby answering a considerable portion of a question of Fuchs and Hamkins.

An earlier paper [Starosolski A., P-hierarchy on βω, J. Symbolic Logic, 2008, 73(4), 1202–1214] investigated the relations between ordinal ultrafilters and the so-called P-hierarchy. The present paper focuses on the aspects of characterization of classes of ultrafilters of finite index, existence, generic existence and the Rudin-Keisler-order.

We introduce the properties of a space to be strictly $WFU\left(M\right)$ or strictly $SFU\left(M\right)$, where $\varnothing \ne M\subset {\omega }^{*}$, and we analyze them and other generalizations of $p$-sequentiality ($p\in {\omega }^{*}$) in Function Spaces, such as Kombarov’s weakly and strongly $M$-sequentiality, and Kocinac’s $WFU\left(M\right)$ and $SFU\left(M\right)$-properties. We characterize these in $C_{\pi }\left(X\right)$ in terms of cover-properties in $X$; and we prove that weak $M$-sequentiality is equivalent to $WFU\left(L\right(M\left)\right)$-property, where $L\left(M\right)=\{{}^{\lambda }p:\lambda <{\omega }_1$ and $p\in M\}$, in the class of spaces which are $p$-compact for every $p\in M\subset {\omega }^{*}$; and that $C_{\pi }\left(X\right)$ is a $WFU\left(L\right(M\left)\right)$-space iff $X$ satisfies...

We prove the results stated in the title.

A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.