If two models of a first order theory are isomorphic then they remain isomorphic in any forcing extension of the universe of sets. In general, however, such a forcing extension may create new isomorphisms. For example, any forcing that collapses cardinals may easily make formerly non-isomorphic models isomorphic. Certain model theoretic constraints on the theory and other constraints on the for...