Edit Comment on
20061118-1
n[0] = "<a href="http://d.hatena.ne.jp/kururu_goedel/">くるる</a>"; m[0] = "私は弱コンパクト基数の定義を$?Pi^1_1$-記述不可能基数だと思ってやっています。他の基数との関係を考えるときなど一番よい定義づけではないかと。<br>二階の述語で記述できる直感的な命題はたくさんありますが、三階になってしまうとフィルターに関する条件ぐらいしか思いつきません。一般化できるにしても、やはり二階の部分が一番実用的かなと思います。<br>自然数の場合には二階の変数は実数をコードしていると考えることができるので、三階の変数は実数の部分集合をコードしていると見ることができます。これなら割とイメージしやすいし、研究も大いにされていますが。"; d[0] = "2006-11-20 15:46:26"; n[1] = "かがみ"; m[1] = "いつも色々教えて頂きありがとうございます。<br>ご指摘のように、高階の論理式の解釈に関して、例として自然数や実数の部分集合を考えるとイメージしやすいです。<br>一週間前に比べると大分慣れてきたのですが、まだ記述不可能性に関する直感がいまいちで、弱コンパクト基数に関しては、木の性質が一番分かりやすい状況です。<br>あっ、でも、記述不可能性の部分を一通り読むと、大分穴ありですが、巨大基数の集合論第一章「始まり」まで読んだことになります。このまま第二章「分割の性質」に突入して、識別不可能集合の概念や 0-sharp 等なんとか分かるようになりたいです。非常に時間がかかりそうなのと、大混乱するのは目に見えているのですが、そのときはよろしくお願い致します(えっ)。と、まことに勝手ながら、厚かましくお願いしておきます。<br>"; d[1] = "2006-11-21 00:46:40";
(password)