あけましておめでとうございます。2020年もよろしくお願いします。 2020年が始まりました。今年の目標はFSIT(Mitchell-Steelのfine structure and iteration treeの略 )の内容を理解することです。 FSITにおいてはWoodin基数1個の内部モデルの構成がなされ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。