Maybe it's just because it's three in the morning, but this little throwaway exercise in some lecture notes (pdf) of David Marker made my night:
Two models M and N are ∞-back-and-forth equivalent iff there is a forcing extension of the universe in which they are isomorphic.Mind. Blown. And the proof is obvious.
No comments:
Post a Comment