More ZFC inequalities between cardinal invariants

Abstract

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We show that if $\kappa ={\lambda }^{+}$ for some $\lambda \ge \omega$ and $\mathfrak{b}(\kappa )={\kappa }^{+}$ then ${\mathfrak{a}}_e(\kappa )={\mathfrak{a}}_p(\kappa )={\kappa }^{+}$. If, additionally, $2^{<\lambda }=\lambda$ then ${\mathfrak{a}}_g(\kappa )={\kappa }^{+}$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak{d}(\kappa )$ in terms of $\mathfrak{r}(\kappa )$, including $\mathfrak{d}(\kappa )\le {\mathfrak{r}}_{\sigma }(\kappa )\le \mathrm{cof}([\mathfrak{r}(\kappa ){]}^{\omega })$, and $\mathfrak{d}(\kappa )\le \mathfrak{r}(\kappa )$ whenever $\mathfrak{r}(\kappa )<\mathfrak{b}(\kappa {)}^{+\kappa }$ or $\mathrm{cof}(\mathfrak{r}(\kappa ))\le \kappa$ holds.

15 pages, significantly extended with new results and diagrams, comments are very welcome. Minor corrections