今日は昨日迄に書いた事をタイピング する予定だったが気分が乗らなかったので
定理 3 の校正に取り掛かる事にした
定理 3 三つの主張が然るべき条件下で同値になると言う主張で仮に三つの主張を A, B, C とすると
AとBの同値性の校正は終わった
(と言うよりもλを固定したバージョンで変更点がない事をチェックした)
そして、AとCの同値性であるが、
これは相当息の長い議論を要する
幾つかの大きなプロポジションに分かれて行くが、
又それぞれを証明するのに、一つの概念を定式化して論じる場面などもある
それを議論を暫く定理 2や基数についての議論を考えていたので細かい処を忘れてきているので
その感覚を再インストールする様な作業となった
明日も午後からはかなり執筆に専念出来るので
そうやって行って、最終的に日曜日に草稿を書いた処迄タイピング出来ればいいかなと思っている
