Investigation reveals the conditions under which ultrafilter number function monotonicity fails in cardinals, indicating complexity.
We investigate whether the ultrafilter number function κ ↦ u(κ ) on the cardinals is monotone, that is, whether u(λ ) ≤ u(κ ) holds for all cardinals λ < κ 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 κ is a singular cardinal with countable cofinality or a strong limit singular cardinal, then u(κ ) ≤ u(κ ⁺) holds.
No takes yet. Share an insight, caveat, or question.
Toshimichi Usuba (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: