Comment on 20090210-1

はい、それで完璧です。こんなふうにモデルの上昇列を作る議論に私はとても頻繁にお世話になります。

ありがとうございます。この論法は慣れるととても楽しめそうな気がします。証明に誤りがあったりして、記述が断片的になってしまったので、スコーレムの定理の説明等を追加した全部の証明をアップしたいと考えています。今回は長々とおつきあい頂きありがとうございました。今後ともよろしくお願いいたします。