対角的交叉とFodorの補題

clubの対角的交叉がclubであることを証明し，Fodorの補題を証明します．

 対角的交叉の定義はよくわからないし，これがclubになることは直感的にわからないんですが，基数の直積空間の何らかの閉集合の射影として対角的交叉を見ることによって見通しよくclubの体格的交叉がclubであることを証明します．ついでにFodorの補題も証明します．

PDFはこちら

www.dropbox.com