※ 引述《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