On potential isomorphism and non-structure

We show in the paper that for any non-classifiable countable theory T there are non-isomorphic models and that can be forced to be isomorphic without adding subsets of small cardinality. By making suitable cardinal arithmetic assumptions we can often preserve stationary sets as well. We also study non-structure theorems relative to the Ehrenfeucht-Fraïssé game. The research of the first and second author was partially supported by Academy of Finland grant 40734 Mathematics Subject Classification (2000): 03C55, 03C45