数学基礎論若手の会2019 in 岡崎 発表スライド
岡崎で開催された数学基礎論若手の会で発表したのでそのスライドです。
射影集合の決定性の無矛盾性について話しました。
またボツになったスライドを供養しておきます。
一枚目が発表スライドです。
ボツスライドです。
岡崎で開催された数学基礎論若手の会で発表したのでそのスライドです。
射影集合の決定性の無矛盾性について話しました。
またボツになったスライドを供養しておきます。
一枚目が発表スライドです。
ボツスライドです。