Set Theory 在線電子書 圖書標籤: 集閤論 邏輯學 數學 數理邏輯 Mathematics-Set_Theory Math 邏輯 語言學
發表於2024-12-22
Set Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
前麵兩章似乎比要比jech可讀性更強(盡管一些結論沒有證明或直接留做瞭習題),主要內容是介紹力迫法。讀者最好有“普通集閤論”(不講獨立性證明,但比較詳細的介紹序數和基數)的基礎。
評分比jech的更難
評分集閤論入門兩條門徑Jech大部頭和這本Kunen。 眾人評價,“難讀,但清晰,精彩”,我認同; 更有人評價,“不讀至少3遍,不可能真正讀懂”,我更認同。 但能讀懂Kunen,是學習數理邏輯同學最熱切或也是最難實現的願望之一。
評分比jech的更難
評分還差最後一章有點讀不動瞭於是就來標記瞭,感覺整個寒假都被它耽誤瞭,還在重要定義上有typo害我焦慮瞭好久“怎麼這麼多定理不會證”....(感覺變成瞭在放假期間憂心工作、眼看著大好光陰卻無法好好享受的身不由己的大人)
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.
評分
評分
評分
評分
Set Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024