---
title: 'Friedman–Magidor Theorem: Lifting Normal Measures'
url: https://www.emergentmind.com/topics/friedman-magidor-theorem
type: topic
---

# Friedman–Magidor Theorem: Lifting Normal Measures

Searching arXiv for the cited paper and closely related sources.
The Friedman–Magidor theorem concerns the possible number of normal measures carried by a measurable cardinal after forcing. In the formulation presented in Kaplan’s “The number of normal measures, revisited” [2507.20466], for every measurable cardinal $\kappa$ and every ordinal $\tau \le \kappa^{++}$, there is a cardinal-preserving forcing extension in which each ground-model normal measure on $\kappa$ has exactly $\tau$ distinct lifts, every normal measure in the extension is such a lift, and therefore $\kappa$ carries exactly $\tau$ normal measures. The result is a new “coding-free” version of the Friedman–Magidor theorem, differing from the original approach by avoiding forcing over canonical inner models, fine-structural tools, and self-coding machinery, while using only nonstationary support product forcing [2507.20466].

## 1. Formal statement and scope

Kaplan’s main theorem is stated for an arbitrary measurable cardinal $\kappa$ and an arbitrary ordinal $\tau \le \kappa^{++}$ [2507.20466]. There is a forcing $P^\tau \in V$ that preserves the measurability of $\kappa$, and for any $V$-generic filter $G \subseteq P^\tau$, two conclusions hold. First, every normal measure $U \in V$ on $\kappa$ admits exactly $\tau$ distinct lifts
\[
\{\,U^*_\eta:\eta<\tau\}
\]
to normal measures on $\kappa$ in $V[G]$. Second, every normal measure on $\kappa$ in $V[G]$ is one of these lifts. In particular, in the extension $V[G]$, the cardinal $\kappa$ carries exactly $\tau$ normal measures [2507.20466].

A further feature appears when $\tau \le \kappa^+$. In that case, all lifts of a fixed ground-model normal measure $U$ have the same ultrapower. The theorem therefore distinguishes two layers of multiplicity: the number of distinct lifted measures, and the structure of the corresponding ultrapower models. The latter collapses to a single ultrapower for each $U$ in the range $\tau \le \kappa^+$ [2507.20466].

This formulation is presented as a new version of the Friedman–Magidor theorem. Its novelty, as explicitly emphasized, lies not only in the enumeration of lifts but also in the method: it does not rely on canonical inner models or fine structure, and it generalizes to extenders [2507.20466].

## 2. Normal measures, ultrapowers, and lifts

A normal measure on a measurable cardinal $\kappa$ is defined as a filter $U \subseteq \mathcal P(\kappa)$ such that $U$ is an ultrafilter, $U$ is $\kappa$-complete, and whenever $f\colon S \to \kappa$ is regressive on a $U$-large set $S \subseteq \kappa$, there is some $\alpha < \kappa$ with $f^{-1}(\{\alpha\}) \in U$ [2507.20466]. Equivalently, such a measure induces an ultrapower embedding
\[
j_U\colon V \longrightarrow M_U=\mathrm{Ult}(V,U)
\]
with critical point $\kappa$ [2507.20466].

The theorem is formulated in terms of lifts of normal measures across forcing extensions. If $U \in V$ is a normal measure on $\kappa$ and $G \subseteq P$ is $V$-generic, then a lift of $U$ to $V[G]$ is a normal measure $U^* \in V[G]$ on $\kappa$ such that the embedding $j_U$ extends to an embedding
\[
j_{U^*}\colon V[G]\longrightarrow M_U[H],
\]
where $H \subseteq j_U(P)$ is generic over $M_U$ and $j_{U^*}\restriction V = j_U$ [2507.20466].

This definition isolates the precise sense in which the extension does not create unrelated measure structure. A normal measure in the extension is relevant only insofar as it extends a ground-model embedding, and the theorem’s second clause asserts that every normal measure in the forcing extension arises this way. A plausible implication is that the result is not merely a counting theorem for ultrafilters, but a structural classification theorem for the normal measures on $\kappa$ after forcing.

## 3. The splitting forcing \(P^\tau\)

The forcing used in the coding-free theorem is the splitting forcing $P^\tau$, described as a nonstationary-support product forcing [2507.20466]. Let $I \subset \kappa$ be the class of inaccessible cardinals below $\kappa$. One fixes a “canonical” function
\[
f_\tau\colon I \longrightarrow \kappa,
\]
where $f_\tau(\alpha)$ indexes $\tau$ many values [2507.20466].

Conditions in $P^\tau$ are partial functions
\[
p\colon \dom(p)\to\kappa
\]
such that $\dom(p)\subseteq I$ is a nowhere stationary set of inaccessibles, and for each $\alpha\in\dom(p)$, one has $p(\alpha)<f_\tau(\alpha)$ [2507.20466]. The order is by extension:
\[
q\le p \iff \dom(p)\subseteq\dom(q)\ \text{and}\ q(\alpha)\ge p(\alpha).
\]
Equivalently, $P^\tau$ is the product
\[
\prod_{\alpha\in I}^{\mathrm{NS}} Q_\alpha
\]
with nonstationary support, where
\[
Q_\alpha=\{0\}\,\cup\,f_\tau(\alpha)
\]
is the one-step “atomic” forcing that either does nothing or picks a value in $f_\tau(\alpha)$ [2507.20466].

The key forcing-theoretic facts stated for $P^\tau$ are concise and central. A fusion/factorization argument, identified as the Fusion Lemma for NS-support products, shows that $P^\tau$ preserves $\kappa$ and $\kappa^+$; under GCH it preserves all cardinals [2507.20466]. If $G \subseteq P^\tau$ is generic, then it induces a partition of $I$ into $\tau$ many pairwise disjoint stationary sets
\[
S_\eta=\{\alpha\in I:\,(\bigcup G)(\alpha)=f_\eta(\alpha)\},\qquad \eta<\tau
\]
[2507.20466]. Moreover, each coordinate $\eta$ can be recovered from the stationary set $S_\eta$, so $\tau$ many distinct generics arise [2507.20466].

This forcing description is one of the theorem’s most distinctive features. The data explicitly contrasts it with the more elaborate machinery of the original theorem: the new proof relies only on nonstationary support product forcing, not on interleaved coding or fine-structural self-coding posets [2507.20466].

## 4. Mechanism of the proof

The proof has two principal components: producing exactly $\tau$ lifts from each ground-model normal measure, and showing that no additional normal measures appear in the extension [2507.20466].

For the first component, one fixes a normal measure $U\in V$ on $\kappa$ and, for each $\eta<\tau$, defines a filter $H_\eta\subseteq j_U(P^\tau)$ over $M_U$ by
\[
H_\eta=\bigl\{\,q\le j_U(p)\cup\{\,( \kappa,\eta)\}\colon p\in G\bigr\}.
\]
A standard fusion-in-the-ultrapower argument shows that each $H_\eta$ meets every dense open subset of $j_U(P^\tau)$ [2507.20466]. By Silver’s criterion, the ultrapower embedding lifts to
\[
j_{U^*_\eta}\colon V[G]\longrightarrow M_U[H_\eta],
\]
and $U^*_\eta$ is the normal measure derived from this lifted embedding [2507.20466]. Distinct values of $\eta$ produce distinct measures, so each $U$ yields exactly $\tau$ lifts. The data further states that because only the coordinate at $\alpha=\kappa$ is altered, all these lifts share the same ultrapower model $M_U[H_\eta]$ [2507.20466]. In the abstract and theorem statement, this identical-ultrapower conclusion is recorded specifically for the case $\tau\le\kappa^+$ [2507.20466].

For the second component, suppose $W\in V[G]$ is any normal measure on $\kappa$. By Hamkins’ Gap Forcing Theorem, the restriction $W\cap V$ is a normal measure $U\in V$ [2507.20466]. If
\[
j_W\colon V[G]\to M_W
\]
is the associated ultrapower embedding, then its critical point remains $\kappa$, and $j_W(G)(\kappa)=\eta<\tau$ [2507.20466]. A routine check yields
\[
W=U^*_\eta.
\]
Thus every normal measure in the extension is one of the previously constructed lifts [2507.20466].

The overall argument therefore has an exactness property on both sides: there are at least $\tau$ lifts because one can force $\eta$ at the top coordinate, and there are at most $\tau$ lifts because every normal measure in the extension is determined by its ground-model restriction together with that same top-coordinate value. This suggests that the stationary splitting performed by $P^\tau$ is not incidental but the combinatorial device that rigidly controls the lift spectrum.

## 5. Relation to the original Friedman–Magidor theorem

The comparison with the original Friedman–Magidor approach is explicit. The original theorem, identified as Friedman–Magidor 2009, used forcing over the canonical inner model $L[U]$, fine-structural self-coding posets, generalized Sacks forcing, and nonstationary-support iterations with interleaved coding [2507.20466]. By contrast, Kaplan’s version forces directly over $V$ with the simple NS-support product $P^\tau$, and does so without inner models, without fine structure, and without self-coding [2507.20466].

The significance of that contrast is also stated directly. The new method can be applied “in the realm of large cardinals beyond the current reach of the inner model program,” and the details specifically mention levels such as supercompact and strongly compact [2507.20466]. The theorem’s proof technology is therefore positioned as structurally independent of the canonical-inner-model framework that shaped the original argument.

Another point of contrast concerns the lifted ultrapowers. In the new approach, when $\tau \le \kappa^+$, all $\tau$ lifts of a given normal measure have the same ultrapower [2507.20466]. That feature is singled out as one of the notable ways in which the revised theorem differs from the original Friedman–Magidor theorem. A plausible implication is that the new forcing separates multiplicity of lifted measures from multiplicity of resulting ultrapower models more cleanly than the earlier coding-based construction.

## 6. Generalization to extenders

The method extends from normal measures to $(\kappa,\lambda)$-extenders [2507.20466]. In the stated generalization, one assumes GCH and that $\kappa$ is $(\kappa+2)$-strong in $V$ [2507.20466]. For each $\tau\le\kappa^{++}$, the same splitting forcing $P^\tau$ yields an extension in which every ground-model $(\kappa,\lambda)$-extender $E$ whose generators lie below $j_E(g)(\kappa)$ admits exactly $\tau$ many lifts
\[
\{E^*_\eta:\eta<j_E(\tau)(\kappa)\},
\]
all of which induce the same ultrapower [2507.20466]. Conversely, every $(\kappa,\lambda)$-extender in $V[G]$ whose generators lie below $j_{E^*}(g)(\kappa)$ is one of these lifts [2507.20466].

The proof is said to proceed exactly as for measures, using the generalized Fusion Lemma and Hamkins’ Gap argument to lift the extender embedding $j_E$ at the top coordinate $\kappa$ [2507.20466]. The central pattern of the measure case is therefore preserved: one obtains controlled multiplicity by splitting at the top coordinate, and one proves exhaustiveness by showing that every new object in the extension restricts to a ground-model object.

This extender version clarifies the broader methodological content of the theorem. The result is not limited to ultrafilters on $\kappa$; rather, it exemplifies a general forcing pattern for calibrating the number of lifted large-cardinal objects while retaining control over the associated ultrapowers. Within the limits of the stated hypotheses, the theorem therefore occupies a place at the interface of forcing, measurability, and extender-based large-cardinal embeddings [2507.20466].

Source: https://www.emergentmind.com/topics/friedman-magidor-theorem