azul on Nostr: I think I mostly agree with this except in point 6, saying these are "non-isomorphic" ...

I think I mostly agree with this except in point 6, saying these are "non-isomorphic" only makes sense from an external perspective. Since IST is a conservative extension of ZFC, we could take the point of view that the nonstandard elements were always there in ZFC but we couldn't talk about them.