English

A dichotomy on Schreier sets

Functional Analysis 2016-09-07 v1

Abstract

We show that the Schreier sets Sα (α<ω1)\mathcal{S}_{\alpha}\ (\alpha<\omega_1) satisfy the following dichotomy property. For every hereditary collection \cf\cf of finite subsets of N\N, either there exists infinite M=(mi)1NM=(m_i)_1^{\infty}\subseteq\N such that \csα(M)={{mi:iE}:E\csα}\cf\cs_{\alpha}(M)=\{\{m_i:i\in E\}:E\in\cs_{\alpha}\}\subseteq\cf, or there exist infinite M=(mi)1,NNM=(m_i)_1^{\infty},N\subseteq\N such that \cf[N](M)={{mi:iF}:F\cf\mboxandFN}\csα\cf[N](M)=\{\{m_i:i\in F\}:F\in\cf \mbox{ and } F\subset N\}\subseteq\cs_{\alpha}.

Cite

@article{arxiv.math/9706209,
  title  = {A dichotomy on Schreier sets},
  author = {Robert Judd},
  journal= {arXiv preprint arXiv:math/9706209},
  year   = {2016}
}