Monthly Archives: May 2014

An absoluteness lemma for countable embeddings

If $W$ is a transitive set or class and it thinks that there is an elementary embedding $j$ between some first-order structures $\mathcal M$ and $\mathcal N$, then $j$ is an actual elementary embedding and so the universe $V$ agrees … Continue reading

Posted in research | Tagged | 6 Comments