Forcing Isomorphism II
Laskowski, M. C. ; Shelah, S.
J. Symbolic Logic, Tome 61 (1996) no. 1, p. 1305-1320 / Harvested from Project Euclid
If $T$ has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. forcing notion $\mathscr{Q}$ such that, in any $\mathscr{Q}$-generic extension of the universe, there are non-isomorphic models $M_1$ and $M_2$ of $T$ that can be forced isomorphic by a c.c.c. forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `c.c.c.' is replaced by other cardinal-preserving adjectives. We also give an example showing that membership in a pseudo-elementary class can be altered by very simple cardinal-preserving forcings.
Publié le : 1996-12-14
Classification: 
@article{1183745137,
     author = {Laskowski, M. C. and Shelah, S.},
     title = {Forcing Isomorphism II},
     journal = {J. Symbolic Logic},
     volume = {61},
     number = {1},
     year = {1996},
     pages = { 1305-1320},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745137}
}
Laskowski, M. C.; Shelah, S. Forcing Isomorphism II. J. Symbolic Logic, Tome 61 (1996) no. 1, pp.  1305-1320. http://gdmltest.u-ga.fr/item/1183745137/