目录 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