モデル理論は通常 ZF 上での理論になると思いますが入門編ではコード化等の詳細についての言及がなく、初めて読んだ人には少々分かりにくいのではと思いました。 RT @t_uda: @kagami_hr 「モデル理論を行う場」というのは何でしょうか......???
2011-09-19 22:40:07そもそも定義不可能なのだから仕方なけいけど新井本の「PA の標準モデル」について全く意味が分からない。「ふつうに解釈」ってなんだろう。
2011-09-19 22:45:53意味は大体分かるのです。標準的な自然数を定義することが不可能なことも知っています。教科書としては「この定義はごくごく基本的な部分であり直感的にしか記述できない」という記載が欲しいという意味です。 RT @Joe_Nif: @kagami_hr 「腐の人に通じるように解釈」とか。
2011-09-19 22:53:15「標準的自然数」が定義不可能なのは「標準的自然数全体」でも「自然数全体」でも数学的帰納法が成立するからです。境界がはっきりしない。
2011-09-19 23:09:41@muratori_d 外から見れば区別できます。自然数のモデルの中に入ってしまうと標準的自然数と超自然数の境界がはっきりしないです。
2011-09-19 23:18:31@kagami_hr 超自然数について成り立つ論理式が、標準的な自然数についても成り立つからモデルの中では区別できないってことでしょうか?
2011-09-19 23:21:22@muratori_d たぶんそうです。調子に乗って書きすぎたかも。こちらの方は余り得意でないのでこれ以上のことは詳しい方や書籍でお願いいたします。
2011-09-19 23:23:28一階の論理式で、「vは標準的な自然数である」を意味する述語をそのモデルの中で書けないってことだと理解したけど、わりと間違っているかもしれないし、全く確かめていないです。
2011-09-19 23:29:25超準自然数が標準自然数と区別できないというよりも、超準自然数についてのみ成り立つ命題と、一般の自然数についても成り立つ命題を区別できない、ということなのでは。
2011-09-19 23:29:32@k_PC1 ずばりその意味で「超準」「標準」だったのですか…… ありがとうございます。もう一度 TL を一通り読みなおしてみます。 [渡仏壇]
2011-09-19 23:57:56