Professor, University of Wisconsin
305 Van Vleck Hall
480 Lincoln Drive
Madison, WI 53706
E-Mail: kunen@math.wisc.edu
Telephone: (608) 263-4831
Ph.D., Stanford University, 1968
Interests: set theory, automated deduction, topology, measure theory.
Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and is intended to be used as a text in beginning graduate courses in that subject. It is hoped that this treatment will make the subject accessible to those mathematicians whose research is sensitive to axiomatics. The readers should have had the equivalent of an undergraduate course on cardinals and ordinals, but no specific training in logic is necessary. The volume includes a discussion of modern techniques in forcing, as well as coverage of infinitary combinatorics and its relevance to independence proofs. The work also features a lucid treatment of basic facts about constructibility.
评分
评分
评分
评分
前面两章似乎比要比jech可读性更强(尽管一些结论没有证明或直接留做了习题),主要内容是介绍力迫法。读者最好有“普通集合论”(不讲独立性证明,但比较详细的介绍序数和基数)的基础。
评分还差最后一章有点读不动了于是就来标记了,感觉整个寒假都被它耽误了,还在重要定义上有typo害我焦虑了好久“怎么这么多定理不会证”....(感觉变成了在放假期间忧心工作、眼看着大好光阴却无法好好享受的身不由己的大人)
评分还差最后一章有点读不动了于是就来标记了,感觉整个寒假都被它耽误了,还在重要定义上有typo害我焦虑了好久“怎么这么多定理不会证”....(感觉变成了在放假期间忧心工作、眼看着大好光阴却无法好好享受的身不由己的大人)
评分完全读不懂
评分集合论入门两条门径Jech大部头和这本Kunen。 众人评价,“难读,但清晰,精彩”,我认同; 更有人评价,“不读至少3遍,不可能真正读懂”,我更认同。 但能读懂Kunen,是学习数理逻辑同学最热切或也是最难实现的愿望之一。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有