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大部頭和這本Kunen。 眾人評價,“難讀,但清晰,精彩”,我認同; 更有人評價,“不讀至少3遍,不可能真正讀懂”,我更認同。 但能讀懂Kunen,是學習數理邏輯同學最熱切或也是最難實現的願望之一。
评分前麵兩章似乎比要比jech可讀性更強(盡管一些結論沒有證明或直接留做瞭習題),主要內容是介紹力迫法。讀者最好有“普通集閤論”(不講獨立性證明,但比較詳細的介紹序數和基數)的基礎。
评分enderton的那本讀完瞭 這本當作二刷集閤論+進階讀物
评分集閤論入門兩條門徑Jech大部頭和這本Kunen。 眾人評價,“難讀,但清晰,精彩”,我認同; 更有人評價,“不讀至少3遍,不可能真正讀懂”,我更認同。 但能讀懂Kunen,是學習數理邏輯同學最熱切或也是最難實現的願望之一。
评分比jech的更難
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有