Mathematics – Logic
Scientific paper
2000-11-21
Journal of Symbolic Logic, 61(1996):1305--1320
Mathematics
Logic
Scientific paper
If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any 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 ccc forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `ccc' is replaced 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.
Laskowski Michael C.
Shelah Saharon
No associations
LandOfFree
Forcing Isomorphism II does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Forcing Isomorphism II, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Forcing Isomorphism II will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-590414