檢視可构成性的原始碼

[[File:可构成性.jpeg|有框|右|<big></big>[https://img2.doubanio.com/view/subject/s/public/s29865651.jpg 原图链接][https://book.douban.com/subject/30322216/ 来自 豆瓣网 的图片]]]

《'''可构成性'''》，数理[[逻辑]]的公理集合论分支的可构成性研究领域中的专著。K.J.戴伏林著。1984年德国柏林出版英文本。

==内容简介==

本书共9章，分两大部分。第1部分5章，是初等理论，涉及到可构成集的Lα层的标准定义。第2部分4章，是高级理论，涉及到Jα层和耶森的“有穷结构理论”。第1章是集合论基础和本书所用到的基本概念。第2章是可构成类L的定义及其基本性质，L中的ZF公理，选择公理，广义连续统假设。第3章是L中的W1树，解决了在L中苏斯林树和阿软枝树的存在性问题；并证明了V=L蕴含着卡帕假设成立和某些组合原则成立。第4章进一步研究了L中的K+树和有穷结构理论。第5章描述了O的概念及其某些性质，包括O的定义和覆盖引理。第6章是在第4章的基础上对有穷结构理论作了深入的研究。第7章是L中的树与大基数；得出了当K是不可达基数时，且V=L，则K苏斯林树和卡帕树与大基数紧密相关的结论。第8章是陷阱定理和基数转换定理。第9章是斯里屋[[机器]]。本书为进一步研究可构成理论提供了基础，为更好地解决集合论方面的问题提供了又一有力方法，在集合论的发展以至数理逻辑的研究中占重要地位。

==作者简介==

K.J.戴伏林(Keith J.Devlin)，[[英国]]人。在英国的兰开斯特大学数学系任教和从事数理逻辑特别是集合论研究。主要著作还有《可构成性的几个侧面》、《当代集合论基础》、《苏斯林问题》(合著)。

==工具书==

[[工具书]]是专供查找知识信息的[[文献]]。它系统汇集某方面的资料，按特定方法加以编排，以供需要时查考使用。根据工具书的基本性质和使用功能，可以划分为检索性工具书<ref>[https://www.sohu.com/a/125086797_448629 检索工具书可以用哪些 ]，搜狐，2019-12-20</ref>和参考性工具书<ref>[https://www.doc88.com/p-0087332553178.html 参考工具书]，道客巴巴，2013-03-30</ref>（[[美国]]工具书专家盖茨称其为控制-检索型工具书和资料型工具书，Information:control and access，Sources of information)。另外还可以根据语种、[[学科]]内容、规模大小等标准进行划分。

==视频==
===<center> 可构成性 相关视频</center>===
<center>逻辑学是什么？大学学的是什么？以后就业方向是什么？</center>
<center>{{#iDisplay:e3151324iug|560|390|qq}}</center>

<center>学逻辑学应看什么书</center>
<center>{{#iDisplay:v089735n6m4|560|390|qq}}</center>

==参考文献==
[[Category:040 類書總論；百科全書總論]]