图书标签: 集合论 递归论 数学 recursion MathLogic Math Lalala
发表于2024-11-26
Recursive Aspects of Descriptive Set Theory pdf epub mobi txt 电子书 下载 2024
这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
评分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
评分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
评分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
评分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
Recursive Aspects of Descriptive Set Theory pdf epub mobi txt 电子书 下载 2024