作者royalroylo (hugging,pass,stop shot.)
看板logic
标题Re: [讨论] 有没有人想念 model theory 的?
时间Thu Mar 31 02:02:16 2005
※ 引述《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