作者catawu ( ggg)
看板logic
标题Re: [讨论] 有没有人想念 model theory 的?
时间Wed Mar 30 14:47:03 2005
※ 引述《manchuria (Sonnet)》之铭言：
: 还没有那。
: 我在看types，realising and omiting。
: ※ 引述《catawu ( ggg)》之铭言：
: : 其实也可以把某些问题在这里谈 可以贡献逻辑版
: : 可是问题是 符号啊 我需要一堆符号
: : 我刚刚念完 Rull-Navawoski(後面这乱拼) theorem
: : 你有念到过这东西吗
就是那个啊
这是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