图书介绍
无穷逻辑 下PDF|Epub|txt|kindle电子书版本网盘下载
- 李小五著 著
- 出版社： 北京：社会科学文献出版社
- ISBN：7801490703
- 出版时间：1998
- 标注页数：1269页
- 文件大小：17MB
- 文件页数：661页
- 主题词：
PDF下载
下载说明
无穷逻辑 下PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录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