- 作 者：李小五著
- 出 版 社：北京：社会科学文献出版社
- 出版年份：1998
- ISBN：7801490703
- 标注页数：1269 页
- PDF页数：661 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源661 ≥1269页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 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