The Prescribed Count

A measurable cardinal carries at least one normal measure — an ultrafilter with completeness and normality properties that enable the ultrapower construction. How many normal measures can a measurable cardinal carry? The Kimchi-Magidor theorem showed that for strongly compact cardinals, the number can be prescribed arbitrarily. But what about measurable cardinals that sit above supercompact cardinals, where inner model theory breaks down?

The count can still be prescribed (arXiv:2603.11710). Using the Ultrapower Axiom — an axiom about the linear ordering of ultrapowers — arbitrary patterns of normal measure counts can be imposed on measurable cardinals above supercompact cardinals and on measurable limits of supercompact cardinals. The technique avoids core model methods entirely.

The structural insight: the number of normal measures is not determined by the cardinal’s position in the large cardinal hierarchy. A measurable cardinal above a supercompact cardinal can carry exactly one measure, or uncountably many, or any number in between — the count is independent of the cardinal’s strength. The measures are not forced by the cardinal’s properties; they’re compatible with them. The Ultrapower Axiom provides enough structure to control the count from above, replacing the core model theory that would provide control from below. Different tools, same precision.