發表於2024-12-25
Recursive Aspects of Descriptive Set Theory 2024 pdf epub mobi 電子書 下載
這本書可以作為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有瞭一定瞭解,建議用遞歸論方法把這些結論重新證明一遍。這本書的好處是給齣瞭幾個非常重要的定理的證明。...
圖書標籤: 集閤論 遞歸論 數學 recursion MathLogic Math Lalala
Recursive Aspects of Descriptive Set Theory 2024 pdf epub mobi 電子書 下載