From Cantor's Attic
Revision as of 13:40, 29 February 2012 by ErinKCarmody (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

If $j:V \to M$ is an elementary embedding and $a \in j(D)$ for some set $D$, then $a$ is a seed for the measure $\mu$ on $D$ defined by $X \in \mu \iff X \subseteq D$ and $a \in j(X)$. In this case, we say that $a$ generates $\mu$ via $j$. If $b=j(f)(a)$ for some function $f \in V$, then we say that $a$ generates $b$ via the embedding. If every element of $M$ is generated by $a$, then we will say that $a$ generates all of $M$ or all of the embedding $j$.

This definition comes from Joel Hamkin's book "Forcing and Large Cardinals"