无穷逻辑 下PDF电子书下载

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