2019.12.12 16:00数学基礎論若手の会2019発表スライド数学基礎論若手の会2019@愛知県青年の家にて発表したスライドです。前半はタイトルそのままSilver-Solovayの問題とPrikry強制について話しました。後半はRowbottomの定理に頼らない「令和」のPrikry強制のお話です。来年はスライドに絵を載せて視覚的にも分かりやすいスライドにしたいなぁと思います。
2018.12.01 16:00数学基礎論若手の会2018発表スライド数学基礎論若手の会2018@沖縄での発表スライドを上げます。「反復強制法で何かしたい！そうだ強制法公理の無矛盾性証明をやろう！」みたいな内容です。伝えたいのは反復強制法の議論だったので、強制法の一般論は断りなく用いられています。ちょこっと個人情報を弄った以外に特に加筆・修正などはしていません。