星取表 暑い日が多い。 自主ゼミ 8月1日。層・圏・トポスのゼミ第1回。前層の層化をして終わる 8月8日。Cohenの原論文紹介ゼミ。 8月15日。層・圏・トポスのゼミ第2回。層とエタール空間の同値性を途中まで。 Cohenの原論文はいろいろと「理論の最初の論文」…

前回は論理公理がすべて強制されることを示した．今回はZFCの公理が強制されることを示そう． ただし，長くなるのでZFCの公理の強制は2回に分ける． 外延性・分離・対集合・和集合・冪集合公理を今回扱い，無限・置換・選択・整礎性公理は次回扱う． 以下，…

星取表: 週刊MA: 週刊 MAのモデルを作る #03 論理公理の強制 - 理科 やることが多かったので、週刊MAは1回お休みした。 TOEIC講座の進捗が60%を超えた 院生室にたくさん本を持ち込む。 だが、大学のコロナ警戒レベルが上がったのでこれらの本全ては7月25日に…