cantors-attic

Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.

View the Project on GitHub neugierde/cantors-attic

Quick navigation
The upper attic
The middle attic
The lower attic
The parlour
The playroom
The library
The cellar

Sources
Cantor's Attic (original site)
Joel David Hamkins blog post about the Attic
Latest working snapshot at the wayback machine

Seed

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”