※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《manchuria (Sonnet)》之銘言：
: : 還沒有那。
: : 我在看types，realising and omiting。
: 就是那個啊
: 這是omitting type theorem重要的應用結果之一
: 證明所有 No-categorical theory has only finitely many partion classes in
: every n-open formula.
: 看你要怎樣約
: 我最進受不了都跑去念Godel了
我可以加入嗎？最近學完量化邏輯的部份(英文是什麼鬼我不清楚)
準備朝原文書自己進修了。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.192.238.54