作者catawu ( ggg)
看板logic
标题Re: [讨论] 有没有人想念 model theory 的?
时间Thu Mar 31 17:20:23 2005
※ 引述《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