Skip to main content
5 of 6
added 22 characters in body
user avatar
user avatar

A question related to ultrapower embediings.

In Joel David Hamkins' "Forcing and Large Cardinals" a definition of $extender$ embeddings:

"An embedding $j:V \to M$ is an $extender$ embedding if every element of $M$ can be represented in the form $j(f)(\alpha)$ for some $f:\kappa \to V$ and $\alpha < j(\kappa)$, where $\kappa$ is the critical point of $j$."

Every ultra-power embedding by a measure $\mu$ on a measurable cardinal $\kappa$ is an extender embedding since $\kappa = [id]_{\mu}$ can be the seed for such an embedding and therefore generate $M$ by representing every element as a $j(f)(\kappa)$ for an $f:\kappa \to V$. Such an infinite cardinal $\kappa$ is, of course, the critical point of $j$.

However, not every extender embedding is an ultra-power embedding. For such embeddings j: M $\to$ N, how are the images of such embeddings different from ultra-power images? Or, how are the embeddings different? And, what mathematics can be done with extender embeddings which are not generated by it's critical point?

user10290