Elementary submodels of $(V_{\omega},\in)$ are equal to it

128 Views Asked by At

I read that all the ESMs of $(V_{\omega},\in)$ will be equal to it . But what if the ESM's universe is a finite set?

1

There are 1 best solutions below

6
On

HINT: If $M\prec N$, and $x\in N$ is a definable element, then $x\in M$. Prove, by induction, that every element of $V_\omega$ is definable.