English

Towers and gaps at uncountable cardinals

Logic 2019-06-04 v1

Abstract

Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either p(κ)=t(κ)\mathfrak p(\kappa)=\mathfrak t(\kappa) or there is a (p(κ),λ)(\mathfrak p(\kappa),\lambda)-gap of club-supported slaloms for some λ<p(κ)\lambda< \mathfrak p(\kappa). While the existence of such gaps is unclear, this is a promising step to lift Malliaris and Shelah's proof of p=t\mathfrak p=\mathfrak t to uncountable cardinals. We do analyze gaps of slaloms and, in particular, show that p(κ)\mathfrak p(\kappa) is always regular; the latter extends results of Garti. Finally, we turn to club variants of p(κ)\mathfrak p(\kappa) and present a new model for the inequality p(κ)=κ+<pcl(κ)=2κ\mathfrak{p}(\kappa) = \kappa^+ < \mathfrak{p}_{cl}(\kappa) = 2^\kappa. In contrast to earlier arguments by Shelah and Spasojevic, we achieve this by adding κ\kappa-Cohen reals and then successively diagonalising the club-filter; the latter is shown to preserve a Cohen witness to p(κ)=κ+\mathfrak{p}(\kappa) = \kappa^+.

Keywords

Cite

@article{arxiv.1906.00843,
  title  = {Towers and gaps at uncountable cardinals},
  author = {Vera Fischer and Diana Carolina Montoya and Jonathan Schilhan and Dániel T. Soukup},
  journal= {arXiv preprint arXiv:1906.00843},
  year   = {2019}
}

Comments

24 pages