T. Brown proved that whenever we color ${𝒫}_f\left(\mathbb{N}\right)$ (the set of finite subsets of natural numbers) with finitely many colors, we find a monochromatic structure, called an arithmetic copy of an $\omega$-forest. In this paper we show a canonical extension of this theorem; i.eẇhenever we color ${𝒫}_f\left(\mathbb{N}\right)$ with arbitrarily many colors, we find a canonically colored arithmetic copy of an $\omega$-forest. The five types of the canonical coloring are determined. This solves a problem of T. Brown.

A family is constructed of cardinality equal to the continuum, whose members are totally incomparable hereditarily indecomposable Banach spaces.

We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer $k\ge 2$ and every set $A$ of words over $k$ satisfying $\lim {\sup }_{n\to \infty }|A\cap {\left[k\right]}^n|/k^n>0$ there exist a word $c$ over $k$ and a sequence $\left(w_n\right)$ of left variable words over $k$ such that the set $c\cup \{c^{}{w}_0{\left(a_0\right)}^{}..{.}^{}{w}_n\left(a_n\right):n\in \mathbb{N}\text{and}{a}_0,...,a_n\in \left[k\right]\}$ is contained in $A$. While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.

We show that the Schreier sets $S_{\alpha }(\alpha <{\omega }_1)$ have the following dichotomy property. For every hereditary collection ℱ of finite subsets of ℱ, either there exists infinite $M={\left(m_i\right)}_{i=1}^{\infty }\subseteq \mathbb{N}$ such that $S_{\alpha }\left(M\right)=m_i:i\in E:E\in S_{\alpha }\subseteq ℱ$, or there exist infinite $M={\left(m_i\right)}_{i=1}^{\infty },N\subseteq \mathbb{N}$ such that $ℱ\left[N\right]\left(M\right)=m_i:i\in F:F\in ℱandF\subset N\subseteq S_{\alpha }$.

Applying results of the infinitary Ramsey theory, namely the dichotomy principle of Galvin-Prikry, we show that for every sequence ${\left({\alpha }_j\right)}_{j=1}^{\infty }$ of scalars, there exists a subsequence ${\left({\alpha }_{k_j}\right)}_{j=1}^{\infty }$ such that either every subsequence of ${\left({\alpha }_{k_j}\right)}_{j=1}^{\infty }$ defines a universal series, or no subsequence of ${\left({\alpha }_{k_j}\right)}_{j=1}^{\infty }$ defines a universal series. In particular examples we decide which of the two cases holds.

We give an alternative proof of W. T. Gowers' theorem on block bases by reducing it to a discrete analogue on specific countable nets. We also give a Ramsey type result on k-tuples of block sequences in a normed linear space with a Schauder basis.

Furstenberg's original Central Sets Theorem applied to central subsets of ℕ and finitely many specified sequences in ℤ. In this form it was already strong enough to derive some very strong combinatorial consequences, such as the fact that a central subset of ℕ contains solutions to all partition regular systems of homogeneous equations. Subsequently the Central Sets Theorem was extended to apply to arbitrary semigroups and countably many specified sequences. In this paper we derive a new version...

A geometric progression of length k and integer ratio is a set of numbers of the form $a,ar,...,a{r}^{k-1}$ for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence ${\left(a_i\right)}_{i=1}^{\infty }$ of positive real numbers with a₁ = 1 such that the set $G^{\left(k\right)}={\bigcup }_{i=1}^{\infty }(a_{2i},a_{2i-1}]$ contains no geometric progression of length k and integer ratio. Moreover, $G^{\left(k\right)}$ is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that there is...