實在太無聊了 找伴
C.C. Chang 跟 H. Jerome Keisler 所著之 Model theory
我唸到2.2而已 歡迎加入
還可一起討論做作業
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.99
> -------------------------------------------------------------------------- <
作者: manchuria (Sonnet) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Mon Mar 7 09:36:00 2005
I'm reading D.Marker's Model Theory.
Maybe we can talk about model theory.
※ 引述《catawu ( ggg)》之銘言：
: 實在太無聊了 找伴
: C.C. Chang 跟 H. Jerome Keisler 所著之 Model theory
: 我唸到2.2而已 歡迎加入
: 還可一起討論做作業
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 130.126.108.68
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Mon Mar 7 17:42:33 2005
※ 引述《manchuria (Sonnet)》之銘言：
: I'm reading D.Marker's Model Theory.
: Maybe we can talk about model theory.
Really? That's great!
Can you speak chinese?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.99
> -------------------------------------------------------------------------- <
作者: manchuria (Sonnet) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Sun Mar 20 14:32:36 2005
可以。
你現在哪裡讀書?
你在看模特理論嗎？
呵呵，我學的很差。
※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《manchuria (Sonnet)》之銘言：
: : I'm reading D.Marker's Model Theory.
: : Maybe we can talk about model theory.
: Really? That's great!
: Can you speak chinese?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 67.39.97.70
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Mon Mar 21 13:17:14 2005
※ 引述《manchuria (Sonnet)》之銘言：
: 可以。
: 你現在哪裡讀書?
: 你在看模特理論嗎？
: 呵呵，我學的很差。
: ※ 引述《catawu ( ggg)》之銘言：
: : Really? That's great!
: : Can you speak chinese?
台北某大學
我CCC那一本念到大概第三章
不過第二章唸的很心虛就是了
這本書寫的很簡略
我這兩天去借你那本看看
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.99
> -------------------------------------------------------------------------- <
作者: manchuria (Sonnet) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Mon Mar 21 18:41:59 2005
是簡稱北大的那所嗎？
呵呵。
我說的那本有電子版的。
我可以發給你。
※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《manchuria (Sonnet)》之銘言：
: : 可以。
: : 你現在哪裡讀書?
: : 你在看模特理論嗎？
: : 呵呵，我學的很差。
: 台北某大學
: 我CCC那一本念到大概第三章
: 不過第二章唸的很心虛就是了
: 這本書寫的很簡略
: 我這兩天去借你那本看看
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 67.39.97.70
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Mon Mar 21 19:27:56 2005
※ 引述《manchuria (Sonnet)》之銘言：
: 是簡稱北大的那所嗎？
: 呵呵。
: 我說的那本有電子版的。
: 我可以發給你。
: ※ 引述《catawu ( ggg)》之銘言：
: : 台北某大學
: : 我CCC那一本念到大概第三章
: : 不過第二章唸的很心虛就是了
: : 這本書寫的很簡略
: : 我這兩天去借你那本看看
是他旁邊那一間
沒關係我借圖書館的比較好
因為我電腦壞了
只能用學校的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.98
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Tue Mar 22 01:22:54 2005
※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《manchuria (Sonnet)》之銘言：
: : 是簡稱北大的那所嗎？
: : 呵呵。
: : 我說的那本有電子版的。
: : 我可以發給你。
: 是他旁邊那一間
: 沒關係我借圖書館的比較好
: 因為我電腦壞了
: 只能用學校的
其實也可以把某些問題在這裡談 可以貢獻邏輯版
可是問題是 符號啊 我需要一堆符號
我剛剛念完 Rull-Navawoski(後面這亂拼) theorem
你有念到過這東西嗎
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.99
> -------------------------------------------------------------------------- <
作者: manchuria (Sonnet) 看板: logic
標題: Re: [討論] 有沒有人想唸 model theory 的?
時間: Wed Mar 30 06:53:04 2005
還沒有那。
我在看types，realising and omiting。
※ 引述《catawu ( ggg)》之銘言：
: ※ 引述《catawu ( ggg)》之銘言：
: : 是他旁邊那一間
: : 沒關係我借圖書館的比較好
: : 因為我電腦壞了
: : 只能用學校的
: 其實也可以把某些問題在這裡談 可以貢獻邏輯版
: 可是問題是 符號啊 我需要一堆符號
: 我剛剛念完 Rull-Navawoski(後面這亂拼) theorem
: 你有念到過這東西嗎
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 67.39.97.70
> -------------------------------------------------------------------------- <
作者: 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
> -------------------------------------------------------------------------- <
作者: 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
> -------------------------------------------------------------------------- <
作者: 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