>>121

つづき

2006年12月11日 強制法入門ちょっと変更
2006年12月12日 コーヘンオリジナル強制法(一回目)
2006年12月13日 コーヘンオリジナル強制法(二回目)
2006年12月15日 Lとダイアモンド
2006年12月22日 Lαの絶対性
2007年1月20日 ダイアモンドを作る
2007年1月22日 強制でSuslin木を削除
2007年2月17日 充足可能性について考えたこと (間違い)
2007年4月14日 ゲーデルの L (一回目)
2007年5月3日 整列不可能な実数列
2007年5月3日 結局コーエン実数
2007年9月3日 0# (zero-sharp) 一回目
2007年9月17日 0# (zero-sharp) 二回目
2007年9月19日 0# (zero-sharp) 三回目
2007年9月23日 0# (zero-sharp) 四回目
2007年9月24日 0# (zero-sharp) 五回目
2007年10月8日 0# (zero-sharp) 六回目 Kunenの定理 (準備編)
2007年10月9日 0# (zero-sharp) 七回目 Kunenの定理 (証明編)
2008年4月13日 基数計算 (1回目 基本の基本の準備 (1))
2008年4月29日 基数計算 (2回目 基本の基本の準備 (2))
2008年5月18日 基数計算 (3回目) 特異基数仮説のお話
2008年8月11日 Δシステムレンマ自己流証明 (暫定版)
2008年12月14日 可測石 (番外編)
2008年12月31日 玄妙基数 (ineffable cardinal)
2009年3月15日 フォドアの補題の初等的部分構造を使った証明
2010年10月11日 エルデシュ=ラドーの定理

つづく