補足

Magidorの業績、その１ - くるるの数学ノートへの補足。このMagidorの定理に基づく楽観的な見方を最終的に打ち壊したのが以下のShelahの定理。

If , then　

集合論で最も驚くべき結果、と言っていいんじゃないでしょうか？これを証明することを可能にしたのがPCF(possible cofinality)理論。こいつに関する話はまた後で。