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