Descriptive Set Theory and Forcing:How to Prove Theorems about Borel Sets the Hard Way

图书简介

These notes develop the theory of descriptive sets, leading up to a new proof of Louveau’s separation theorem for analytic sets. A first course in mathematical logic and set theory is assumed, making this book suitable for advanced students and researchers.

1. What are the reals, anyway; Part I. On the Length of Borel Hierarchies: 2. Borel hierarchy; 3. Abstract Borel hierarchies; 4. Characteristic function of a sequence; 5. Martin’s axiom; 6. Generic Gδ; 7. α-forcing; 8. Boolean algebras; 9. Borel order of a field of sets; 10. CH and orders of separable metric spaces; 11. Martin–Soloway theorem; 12. Boolean algebra of order ω1 ; 13. Luzin sets; 14. Cohen real model; 15. The random real model; 16. Covering number of an ideal; Part II. Analytic Sets: 17. Analytic sets; 18. Constructible well-orderings; 19. Hereditarily countable sets; 20. Schoenfield absoluteness; 21. Mansfield–Soloway theorem; 22. Uniformity and scales; 23. Martin’s axiom and constructibility; 24. Σ12 well-orderings; 25. Large Π12 sets; Part III. Classical Separation Theorems: 26. Souslin–Luzin separation theorem; 27. Kleen separation theorem; 28. Π11 -reduction; 29. Δ11 -codes; Part IV. Gandy Forcing: 30. Π11 equivalence relations; 31. Borel metric spaces and lines in the plane; 32. Σ11 equivalence relations; 33. Louveau’s theorem; 34. Proof of Louveau’s theorem; References; Index; Elephant sandwiches.

Trade Policy 买家须知

关于产品：
● 正版保障：本网站隶属于中国国际图书贸易集团公司，确保所有图书都是100%正版。
● 环保纸张：进口图书大多使用的都是环保轻型张，颜色偏黄，重量比较轻。
● 毛边版：即书翻页的地方，故意做成了参差不齐的样子，一般为精装版，更具收藏价值。
关于退换货：
由于预订产品的特殊性，采购订单正式发订后，买方不得无故取消全部或部分产品的订购。
由于进口图书的特殊性，发生以下情况的，请直接拒收货物，由快递返回：
● 外包装破损/发错货/少发货/图书外观破损/图书配件不全（例如：光盘等）
并请在工作日通过电话400-008-1110联系我们。
签收后，如发生以下情况，请在签收后的5个工作日内联系客服办理退换货：
● 缺页/错页/错印/脱线
关于发货时间：
一般情况下：
●【现货】下单后48小时内由北京（库房）发出快递。
●【预订】【预售】下单后国外发货，到货时间预计5-8周左右，店铺默认中通快递，如需顺丰快递邮费到付。
● 需要开具发票的客户，发货时间可能在上述基础上再延后1-2个工作日（紧急发票需求，请联系010-68433105/3213）；
● 如遇其他特殊原因，对发货时间有影响的，我们会第一时间在网站公告，敬请留意。
关于到货时间：
由于进口图书入境入库后，都是委托第三方快递发货，所以我们只能保证在规定时间内发出，但无法为您保证确切的到货时间。
● 主要城市一般2-4天
● 偏远地区一般4-7天
关于接听咨询电话的时间：
010-68433105/3213正常接听咨询电话的时间为：周一至周五上午8：30～下午5：00，周六、日及法定节假日休息，将无法接听来电，敬请谅解。
其它时间您也可以通过邮件联系我们：customer@readgo.cn,工作日会优先处理。
关于快递：
● 已付款订单：主要由中通、宅急送负责派送，订单进度查询请拨打010-68433105/3213。

Descriptive Set Theory and Forcing:How to Prove Theorems about Borel Sets the Hard Way（Lecture Notes in Logic） 描述集合论和力迫 数理逻辑与数学基础

Descriptive Set Theory and Forcing:How to Prove Theorems about Borel Sets the Hard Way（Lecture Notes in Logic）

描述集合论和力迫
数理逻辑与数学基础