Henkin 拡大でモデルの拡大列を作る証明と選択公理
-
- いいね！0
Tomoki UDA
@t_uda
Henkin 拡張、Henkin 定数。「M を M' の L への縮小(reduct)といい，逆に M' を M の L への拡張(expansion)という．」 reduction じゃないの……？？？ #数学基礎論 #math_ja
2011-09-19 17:48:30
Tomoki UDA
@t_uda
「(前略) c_{∃xφ(x)} にMの元をどれでもいいから対応させる．こうして C_{n+1} \ C_{n} の元 c_{∃xφ(x)} の元を対応させて(中略)拡張 M_{n+1} ができた． 」 可算回"選択"したのですか！？ #数学基礎論 #math_ja
2011-09-19 18:01:49
Tomoki UDA
@t_uda
増大列 C_{n}⊂C_{n+1} があって、各 c ∈ C_{n+1} - C_{n} 毎に"適当に M の元を取って"対応させることで M_{n} の拡張 M_{n+1} を作っていく。これを各 n∈N で行う。……これって"選択公理"使ってますか？？ #math_ja
2011-09-19 21:08:01
エヴィン・ラティエ
@evinlatie
@t_uda 前の投稿( http://t.co/KaCzJaLE )から察するに「数学基礎論」の補題1.4.11「…Cに属するヘンキン定数たちに適当にMの元を対応させると…MのL(C)への拡張M'が得られる」の証明を読んでての疑問ということですね。（続く）
2011-09-19 21:56:50
エヴィン・ラティエ
@evinlatie
@t_uda この補題の証明は帰納的に（整列順序が与えれれているとは限らない）Mの元を可算個取ってきているので選択公理を使ってますね。 ※注意：ZF上でヘンキン定数を持ってきて言語を拡大するのには選択公理は必要ないです。
2011-09-19 22:07:57
Tomoki UDA
@t_uda
@evinlatie ありがとうございます。こういう風に帰納的に無限個の元を取ってくる証明では、いちいち「選択公理により」などとは書かない方が普通なのでしょうか。
2011-09-19 22:13:31
エヴィン・ラティエ
@evinlatie
言語のヘンキン拡大自体は選択公理は不要です。拡大するときのヘンキン定数c_iはもとの言語L_iの要素とかぶらないように取れればどんなものでもいいので、極端な例としてはc_i := L_iとおけばいいです（定数記号の定義似制限がなければ任意の集合を記号と思っていいので）。
2011-09-19 22:17:30
エヴィン・ラティエ
@evinlatie
@t_uda 選択公理との同値性や選択公理を制限した議論を行うときには使用をを明示しますけど、それ以外の場合は数学基礎論でも明示しないで使う場合が多いですね。
2011-09-19 22:21:09
エヴィン・ラティエ
@evinlatie
言語の定義する記号は一般の集合でコーディングされているとしてみているからね・・・可算言語の場合は自然数のみでコードするとしたほうが使いやすい場合が多いですけどね・・・
2011-09-19 22:24:33
Tomoki UDA
@t_uda
@evinlatie なるほど。確かにこの証明では選択公理を使っていることは本質的でないから、そこまで厳密に言及する必要がないですね。
2011-09-19 22:24:48