集合論入門：英文

《集合論入門：英文》是2020年哈爾濱工業大學出版社出版的圖書。

基本介紹

• 中文名：集合論入門：英文
• 作者：[美]丹尼爾·W.坎寧安
• 出版時間：2020年10月
• 出版社：哈爾濱工業大學出版社
• ISBN：9787560391205
• 類別：數學理論
• 開本：16 開
• 裝幀：平裝-膠訂

內容簡介

本書是著作權引進自英國劍橋大學出版社的一本原版大學數學教材，中文書名可翻譯為《集合論入門》。

本書作者丹尼爾.W.坎寧安，是紐約州立大學布法羅分校的數學教授，專門研究集合論和數學邏輯。他是國際符合邏輯協會、美國數學協會和美國數學學會的成員。坎寧安曾於2013年出版著作《證明的邏輯導論》。

大學數學教材中集合論雖然是一個十分重要的內容，但國內似乎沒有一本專門的教程。

圖書目錄

目錄（翻譯）

1介紹

1.1基本集合論

1.2邏輯記法

1.3謂詞與數量詞

1.4集合論的形式語言

1.5策梅洛-弗倫克爾公理

2 基本的集合構建公理和方法

2.1前六個公理

2.2集合運算

3 關係與函式

3.1集合理論中的有序對

3.2關係

3.3函式

3.4次序關係

3.5同餘

4 自然數

4.1約簡集

4.2 w的遞歸定理

4.3 w的算數

4.4 w的序

5 集合的大小

5.1有限集

5.2 可數集

5.3不可數集合

5.4基數

6 超限遞歸

6.1 良序

6.2 超限遞歸定理

7 選擇公理重新討論

7.1 佐恩引理

7.2慮子與超濾

7.3良序定理

8 序數

8.1 序數

8.2順序遞歸和類函式

8.3序數算術

8.4 馮.諾伊曼全集

9 基數

9.1基數

9.2基數算數

9.3閉無界集合與平穩集合