Forcing isomorphism .2.

被引:5
作者
Laskowski, MC
Shelah, S
机构
[1] HEBREW UNIV JERUSALEM,SCH MATH,JERUSALEM,ISRAEL
[2] RUTGERS STATE UNIV,DEPT MATH,NEW BRUNSWICK,NJ 08903
关键词
D O I
10.2307/2275818
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
If T has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. 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 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.
引用
收藏
页码:1305 / 1320
页数:16
相关论文
共 8 条
[1]  
BALDWIN J, 1988, FUNDAMENTALS STABILI
[2]  
BARWISE J, 1973, STUDIES MODEL THEORY, P5
[3]  
Kunen K., 1980, SET THEORY
[4]  
LASCAR D, 1986, STABILITY MODEL THEO
[5]  
MAKKAI M, 1984, ISRAEL J MATH
[6]  
Nachbin Leopoldo, 1965, The Haar integral
[7]  
Shelah, 1991, CLASSIFICATION THEOR
[8]  
SHELAH S, 1987, ANN PURE APPL LOGIC, V34