《无穷逻辑 下》

目录621

第14章　部分同构扩张定理621

1 back and forth-方法的引入624

2　部分同构与无穷语言的关系634

3 一般情况下的back and forth-方法647

4 反例672

第15章　BF-方法在其他方面的运用689

1　对自同构的运用690

2　对直积和直和的运用709

3　对模为正则或不完全滤子的归约直积的运用716

4　对由不可辨元构成的结构的运用729

第16章　等幂不同构结构的个数（上）740

1　λ是正则非紧致基数的情况741

2 λ是弱紧致基数的情况749

3 λ是奇异基数使得λω＝λ的情况757

4 λ是不可数奇异基数的情况767

第17章　等幂不同构结构的个数（下）788

1 一阶不稳定理论的等幂不同构模型的个数788

2 　？κ＋ω-稳定理论的等幂不同构模型的个数806

3　更一般的情况816

第18章　？κω-理论的范畴性829

1　合并性与范畴性829

2　饱和性、型与范畴性843

3　不可辨性与范畴性856

4　稳定性与范畴性879

第19章　无穷深逻辑（上）904

1 Nkα和Mkα的语法905

2 Nkα和Mkα的语义911

3 Nkα和Mkα的表达力921

4 语义对策的确定性934

第20章　无穷深逻辑（下）943

1　模型论基本结果943

2　类树部分同构与初等等价964

第21章　扩展逻辑（上）998

1　链模型存在定理999

2　完全性定理1009

3　可容链逻辑1019

第22章　扩展逻辑（下）1035

1　Suslin-逻辑1035

2　对策逻辑1052

3　概率量词逻辑1060

4　滤子逻辑1071

1　经典无穷逻辑的矢列演算1083

第23章　矢列演算1083

2　确定逻辑的矢列演算1098

3　非齐次量词的矢列演算1117

第24章　力迫法与无穷逻辑1142

1　力迫法与省略型定理1143

2　力迫法与逼近定理1152

3　力迫法与某些？κω-结构类1167

4　力迫法与B∞∞（Taut）的不完全性1187

附录1 基数和、直积与？κλ-初等等价1197

附录2 无穷逻辑简史1215

主要参考文献1227

重要记号索引1246

主题词索引1253

上册勘误表1266