[集合論] 気づいてしまったシリーズ － の彼方編 Jech本を読み進めているが，次のCofinalityの節の証明でJech先生は手を抜きすぎでなかなかのギャップがある．まあ，イントロ的な章なのでこんな手抜き具合なのかもしれないが，私自身もCofinalityの定義にあ…

[集合論] Canonical Well-Ordering of （Jech本p.30） 本節の最終目標はテキストp.31の(3.14) というシンプルな公式である．この証明のために，クラスの積 にwell-orderingを次のように定義する． おや？ この定義は整列集合の積に対する順序付け Definition…

[集合論] Alephs（Jech本p.29） cardinalはもともとは集合の同値類として定義されているが，その代表元を順序数から選びたいという流れである．ただし選択公理を使った議論は5章を待てということらしい．まずは順序数の中で同じcardinalityを持つもののクラ…