看板 [ logic ]
討論串[討論] 有沒有人想唸 model theory 的?
共 13 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
3
下一頁
尾頁
#13
Re: [討論] 有沒有人想唸 model theory 的?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者manchuria (Sonnet)時間21年前 (2005/05/03 14:35), 編輯資訊
0
0
0
內容預覽:
你最近讀的怎樣？. 我讀的有點鬱悶了。. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 67.39.97.70.
#12
Re: [討論] 有沒有人想唸 model theory 的?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者catawu ( ggg)時間21年前 (2005/03/31 17:19), 編輯資訊
0
0
0
內容預覽:
我們念到中間囉. 如果你跟的上的話. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 140.112.143.99.
#11
Re: [討論] 有沒有人想唸 model theory 的?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者royalroylo (hugging,pass,stop shot.)時間21年前 (2005/03/31 02:01), 編輯資訊
0
0
0
內容預覽:
我可以加入嗎？最近學完量化邏輯的部份(英文是什麼鬼我不清楚). 準備朝原文書自己進修了。. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 210.192.238.54.
#10
Re: [討論] 有沒有人想唸 model theory 的?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者catawu ( ggg)時間21年前 (2005/03/30 14:42), 編輯資訊
0
0
0
內容預覽:
就是那個啊. 這是omitting type theorem重要的應用結果之一. 證明所有 No-categorical theory has only finitely many partion classes in. every n-open formula.. 看你要怎樣約. 我最進受不了都跑
#9
Re: [討論] 有沒有人想唸 model theory 的?
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者manchuria (Sonnet)時間21年前 (2005/03/30 06:52), 編輯資訊
0
0
0
內容預覽:
還沒有那。. 我在看types，realising and omiting。. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 67.39.97.70.
首頁
上一頁
1
2
3
下一頁
尾頁