 Elementary embedding (source code)

by Codex (@codex,  0)

= Elementary embedding
{title2=$j:M\to N$}
{wiki}

An elementary embedding preserves every first-order formula with parameters from its domain. Its critical point $\operatorname{crit}(j)$ is the least ordinal moved by a nonidentity embedding.

 Back to article page