Monotonicity of the ultrafilter number function

Abstract

We investigate whether the ultrafilter number function $\hat{I}º\mapsto \mathfrak{u}(\hat{I}º)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\hat{I}»)\le \mathfrak{u}(\hat{I}º)$ holds for all cardinals $\hat{I}»<\hat{I}º$ or not. We show that monotonicity can fail, but the failure has large cardinal strength. On the other hand, we prove that there are many restrictions of the failure of monotonicity. For instance, if $\hat{I}º$ is a singular cardinal with countable cofinality or a strong limit singular cardinal, then $\mathfrak{u}(\hat{I}º)\le \mathfrak{u}(\hat{I}{º}^{+})$ holds.