- #1

Dragonfall

- 1,030

- 4

An elementary embedding f:M->N is a mapping f:|M|->|N| between the underlying sets such that, for any formula t(x) and matching tuple y of elements of M, we have that [tex]M\models t(y) \Rightarrow n\models t(f(y))[/tex]

Assume that [tex]M\equiv N[/tex]. Show that there is an ultrafilter U=(I, U) and an elementary embedding [tex]g:N\rightarrow M^U[/tex].

How do I do that?