Aspects of Incompleteness
Aspects of Incompleteness
复制标题
不完整的方面
DOI：
10.1017/9781316716854
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Per Lindström
中科院分区：
文献类型：
--
作者：
Per Lindström
这彻底修订的第二版经典书籍的主要思想和结果一般元数学包含新的结果和简化的证明，以及最新的参考书目。除了哥德尔等人关于不完备性、（非）有限公理化性、可解释性等标准结果外。，它包含了部分保守性和可解释性程度的彻底处理。读者应该熟悉广泛使用的算术方法和递归理论的要素。
This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Goedel and others on incompleteness, (non) finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory.