今日までの数学 2023/10/1

今日の時点での進捗状況

[1] BGE が ZFC の保存拡大になることの証明の pdf 作成.

(atom からなる集合を許容する集合論について.)

ジェネリック拡大と置換公理のあたり.

[2] [ブルバキ位相線型空間] vol.1. 双対関係と転置写像.

[3] [ブルバキ代数] nilpotency class について.