GAPのブログ

モデル理論のゼミで用いたQuantifier Eliminationの応用についてのスライドです。

集合論を勉強していると話すと、色々な人に数学の基礎づけについて聞かれるので、そのアンサーとして書いてみたPDFです。

内容としてはKunenに全部書いてあることです。

誰でも読めるように書いたつもりなのですが、他の人の反応を見るにそうでもないみたいです。残念。

2016年7月に某数学サークルで発表した、決定性公理に関する内容のPDFです。

集合論を知らない人向けに、記述集合論やら巨大基数やらを説明するという無茶な試みがなされています。

なので、きちんとした証明はほとんどなく、完全にお話という感じですが、それでも12ページでまとめたのは、我ながらよく頑張ったと思います。

ちなみに、「現代集合論」と銘打ってあるのは誇張表現で、全然現代っぽい話はないです。