English

Products of Directed Sets with Calibre $(\omega_1, \omega)$

Logic 2024-01-08 v1 General Topology

Abstract

A directed set PP is calibre (ω1,ω)(\omega_1, \omega) if every uncountable subset of PP contains an infinite bounded subset. PP is productively calibre (ω1,ω)(\omega_1, \omega) if P×QP \times Q is calibre (ω1,ω)(\omega_1, \omega) for every directed set QQ with calibre (ω1,ω)(\omega_1, \omega), and PP is powerfully calibre (ω1,ω)(\omega_1, \omega) if the countable power of PP is calibre (ω1,ω)(\omega_1, \omega). It is shown that (1) uncountable products are calibre (ω1,ω)(\omega_1, \omega) only in highly restrictive circumstances, (2) many but not all \sum-products of calibre (ω1,ω)(\omega_1, \omega) directed sets are calibre (ω1,ω)(\omega_1, \omega), (3) there are directed sets which are calibre (ω1,ω)(\omega_1, \omega) but neither productively nor powerfully calibre (ω1,ω)(\omega_1, \omega), and (4) there are directed sets which are powerfully but not productively calibre (ω1,ω)(\omega_1, \omega). As an application, the position is established of ωω1\sum \omega^{\omega_1} in the Tukey order among Isbell's classical 10 directed sets.

Keywords

Cite

@article{arxiv.2401.02603,
  title  = {Products of Directed Sets with Calibre $(\omega_1, \omega)$},
  author = {Paul Gartside and Jeremiah Morgan},
  journal= {arXiv preprint arXiv:2401.02603},
  year   = {2024}
}