2018-10-12から1日間の記事一覧
おはようございます。 PFAの無矛盾性証明を読んだのでそのノートを書きました。 PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。 MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくる…
おはようございます。 PFAの無矛盾性証明を読んだのでそのノートを書きました。 PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。 MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくる…