請問學集合論需要先學哪些前置知識

看板Math作者 (咕啾咕啾魔法陣)時間8年前 (2017/05/10 12:02), 編輯推噓2(2推 0噓 16→)
留言18則, 5人參與, 最新討論串1/1
說是學集合論，不過想學的其實只有那些大基數，學到能評估大小即可 https://en.wikipedia.org/wiki/Indescribable_cardinal https://en.wikipedia.org/wiki/Strong_cardinal https://en.wikipedia.org/wiki/Supercompact_cardinal 例如這些 裡面很多符號都看不懂，我不是數學系出身 對不懂的人而言要從哪些東西開始學起呢 希望沒看過的符號能在學習過程中依序見到 不會突然冒出一個不知道是什麼的玩意 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.248.56.185 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1494388925.A.8D7.html
推
05/10 12:43, , 1F
看到看不懂的符號再去認識就好
05/10 12:43, 1F
→
05/10 13:18, , 2F
有些符號不知道從何查起XD
05/10 13:18, 2F
→
05/10 13:18, , 3F
例如這個indescribable，完全看不懂定義
05/10 13:18, 3F
推
05/10 15:54, , 4F
去修數導R
05/10 15:54, 4F
→
05/11 05:12, , 5F
"只有那些大基數"...不知道該說什麼
05/11 05:12, 5F
→
05/11 05:13, , 6F
large cardinal幾乎已是集合論裡最高端的內容
05/11 05:13, 6F
→
05/11 05:14, , 7F
沒有把初等集合論弄懂 是不可能知道那在幹嘛的
05/11 05:14, 7F
→
05/11 05:16, , 8F
集合論聖經Jech 從第一章慢慢看就對了
05/11 05:16, 8F
→
05/11 05:20, , 9F
邏輯也要有一定的底子 例如第一個連結裡那些符號是
05/11 05:20, 9F
→
05/11 05:20, , 10F
邏輯上對語句的分層
05/11 05:20, 10F
→
05/11 08:10, , 11F
(Vκ+n, ∈, A)類似這種形式A是數理邏輯學得到的
05/11 08:10, 11F
→
05/11 08:10, , 12F
嗎
05/11 08:10, 12F
→
05/11 08:16, , 13F
感謝r大 我以為看不懂是很糟糕的問題...qw q
05/11 08:16, 13F
→
05/11 08:36, , 14F
查查Arithmetical hierarchy, Von Neumann universe
05/11 08:36, 14F
→
05/11 09:14, , 15F
(Vκ+n,∈,A)這個應該是forcing
05/11 09:14, 15F
→
05/11 09:30, , 16F
好像是poset，正在查
05/11 09:30, 16F
→
05/12 11:09, , 17F
偷看了一下Jech後面的章節，第一個元素是指universe
05/12 11:09, 17F
→
05/12 11:09, , 18F
後面是language的符號，這下看懂了
05/12 11:09, 18F
‣ 更多 loveflames 的文章
文章代碼(AID): #1P4f2zZN (Math)