English

Ramsey dichotomies with ordinal index

Logic 2007-05-23 v1 Functional Analysis

Abstract

A system of uniform families on an infinite subset MM of \nn\nn is a collection (\ccaξ)ξ<ω1(\cca_{\xi})_{\xi<\omega_1} of families of finite subsets of \nn\nn (where, \ccak\cca_k consists of all kk--element subset of MM, for k\nnk\in \nn) with the properties that each \ccaξ\cca_{\xi} is thin (i.e. it does not contain proper initial segments of any of its element) and the Cantor--Bendixson index, defined for \ccaξ\cca_{\xi}, is equal to ξ+1\xi+1 and stable when we restrict ourselves to any subset of MM. We indicate how to extend the generalized Schreier families to a system of uniform families. Using that notion we establish the correct (countable) ordinal index generalization of the classical Ramsey theorem (which corresponds to the finite ordinal indices).

Keywords

Cite

@article{arxiv.math/9804063,
  title  = {Ramsey dichotomies with ordinal index},
  author = {V. Farmaki},
  journal= {arXiv preprint arXiv:math/9804063},
  year   = {2007}
}

Comments

26 pages

R2 v1 2026-07-22T17:58:16.718Z