Re: [討論] 有沒有人想唸 model theory 的?
看板logic作者royalroylo (hugging,pass,stop shot.)時間21年前 (2005/03/31 02:01)推噓0(0推 0噓 0→)留言0則, 0人參與討論串11/13 (看更多)
※ 引述《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
討論串 (同標題文章)