English

The topological pigeonhole principle for ordinals

Logic 2016-07-14 v4

Abstract

Given a cardinal κ\kappa and a sequence (αi)iκ\left(\alpha_i\right)_{i\in\kappa} of ordinals, we determine the least ordinal β\beta (when one exists) such that the topological partition relation β(topαi)iκ1\beta\rightarrow\left(top\,\alpha_i\right)^1_{i\in\kappa} holds, including an independence result for one class of cases. Here the prefix "toptop" means that the homogeneous set must have the correct topology rather than the correct order type. The answer is linked to the non-topological pigeonhole principle of Milner and Rado.

Keywords

Cite

@article{arxiv.1410.2520,
  title  = {The topological pigeonhole principle for ordinals},
  author = {Jacob Hilton},
  journal= {arXiv preprint arXiv:1410.2520},
  year   = {2016}
}

Comments

24 pages